2019-05-04

anond:20190504075021

自然演繹タイプ公理系は無矛盾であることが示されているみたいなのですが、

自己記述自然数論的な公理系なのでしょうか?

記事への反応(ブックマークコメント)

ログイン ユーザー登録
ようこそ ゲスト さん