test
|
|
|
>>318
http://uni.2ch.net/test/read.cgi/sci/1375192413/407-409
407 ：ご冗談でしょう？名無しさん ：2013/08/18(日) 15:24:46.99 ID:73xMykX8
>>404
>>398
証明可能であることは推論可能であることの十分条件ではない
と言ってやると白痴は理解出来ずに混乱するのかＷＷＷＷＷＷ
>>388
証明しても意味無いから
なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので
真偽を決定出来ないから
真偽決定不可能ならば推論可能とは言えない
マジで理解できないのなＷＷＷＷＷＷＷＷＷ
お前単語に脊髄反射する人工無能だわ
409 ：ご冗談でしょう？名無しさん ：2013/08/18(日) 21:03:57.38 ID:73xMykX8
>>408
お前の貼った資料にお前が自殺するべきという文章が書いてあるぜ？ん？
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
http://uni.2ch.net/test/read.cgi/sci/1375192413/407-409
407 ：ご冗談でしょう？名無しさん ：2013/08/18(日) 15:24:46.99 ID:73xMykX8
>>404
>>398
証明可能であることは推論可能であることの十分条件ではない
と言ってやると白痴は理解出来ずに混乱するのかＷＷＷＷＷＷ
>>388
証明しても意味無いから
なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので
真偽を決定出来ないから
真偽決定不可能ならば推論可能とは言えない
マジで理解できないのなＷＷＷＷＷＷＷＷＷ
お前単語に脊髄反射する人工無能だわ
409 ：ご冗談でしょう？名無しさん ：2013/08/18(日) 21:03:57.38 ID:73xMykX8
>>408
お前の貼った資料にお前が自殺するべきという文章が書いてあるぜ？ん？
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.