Π01言明について理解しておこう (215ﾚｽ)
上下前次1-新
6: BLACKX ◆SvoRwjQrNc 02/23(日)19:59 ID:f/qalxpg(5/5) AAS
Aが偽であると仮定する。上記補題より ￢A が証明できる。
Sが無矛盾であるなら、A と ￢A の両方は同時に証明できないので、A は証明できない。これは前件に反する。よって帰謬法により A は真である。
上下前次1-新書関写板覧索設栞歴
あと 209 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.014s