エムシラ御大を称えるスレ ５

このエントリーをはてなブックマークに追加
41 ：１３２人目の素数さん：
>>24

アホウ！

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
「Ｇ⇔（自然数の公理系∧¬Ｇ）」
これが真であるようにするには、「Ｇを偽とし」*かつ*自然数の公理系を偽とするしかない。
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

ってことだ。