14/07/29 23:08:01.18 .net
ｽﾚﾘﾝｸ(sci板:161-344番)
161 ：ご冗談でしょう？名無しさん ：2013/08/05(月) 22:51:49.79 ID:h3/RhEky
>>159
は？
論文名にそんなもん一切無いが頭弱いのか？ん？
280 ：ご冗談でしょう？名無しさん ：2013/08/09(金) 16:30:16.63 ID:Kog3ARrO
>>278
＞そもそも公理を減らしたら証明可能な論理式が減るだけ
＞新たに矛盾が導かれるわけが無い
0点
こいつはフレーゲの集合論に対するラッセルの指摘を全く理解してない
頭弱いからムリなのかＷＷＷＷＷＷ
289 ：ご冗談でしょう？名無しさん ：2013/08/10(土) 00:59:11.49 ID:AiYZNnAV
素朴集合論は矛盾だらけで使えないから公理を追加して抑え込んだのになＷＷＷＷＷＷＷＷＷ
頭弱いからわからなかったかＷＷＷＷＷＷ
344 ：ご冗談でしょう？名無しさん ：2013/08/13(火) 21:06:56.07 ID:8zEYAJxE
>>343
＞>>311
＞君って0点以外の点数とった無いだろうね
＞ZF-FAで証明できるって事はつまりZFで基礎の公理を使わずに証明できるって事ですよ
だから？
何の意味も無いが頭弱いのか？ん？