18/06/27 21:43:18.82 Z8PHHCZc.net
Sを任意のPAを含む無矛盾な公理系とする。
TをSを含む公理系で無矛盾であるものの中で極大であるものとする。(Zornの補題より存在)
この時Tは無矛盾、完全でPAを含む。
18/06/27 21:43:18.82 Z8PHHCZc.net
Sを任意のPAを含む無矛盾な公理系とする。
TをSを含む公理系で無矛盾であるものの中で極大であるものとする。(Zornの補題より存在)
この時Tは無矛盾、完全でPAを含む。
18/06/27 21:43:18.82 Z8PHHCZc.net
Sを任意のPAを含む無矛盾な公理系とする。
TをSを含む公理系で無矛盾であるものの中で極大であるものとする。(Zornの補題より存在)
この時Tは無矛盾、完全でPAを含む。