>>489
はぁ?
知能低すぎだろこのガイジwwwwwwwww
Anを構成する任意の公理の組み合わせで構成される任意の公理系が全て無矛盾でなければ、矛盾する公理系が少なくとも1つは存在するわけだ
ならばそれがA1になるように(2)の操作の順番を工夫すれば(5)は必ず成立する
故に(5)が成立しないことを仮定するならば同時に(2)の操作をどのような順番で行おうともA1は必ず無矛盾となることが要請される
文系に数学は無理w
数学基礎論・数理論理学 その17 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
490132人目の素数さん
2016/09/14(水) 00:43:37.10ID:62yXwHfn■ このスレッドは過去ログ倉庫に格納されています