「#相対的無矛盾性」の記事一覧 | Mathlog

相対的無矛盾性

使用者数

1

フォロワー数

0

解説...

2020年11月12日

無矛盾性順序に関する注意

数理論理学,第二不完全性定理,相対的無矛盾性

75

9

読み込み中