トップページ⇒math

984コメント406KB

数学基礎論・数理論理学　その15 [転載禁止]©5ch.io

■ このスレッドは過去ログ倉庫に格納されています

0808１３２人目の素数さん

2015/04/21(火) 20:51:52.71ID:e2srAhxk

>>806
極端な話、すべての真なる命題を公理にしてしまえば
「算術が展開できるような命題論理の拡張」にはなるけど
PRAとは言えないよね。そういうことだよ

■ このスレッドは過去ログ倉庫に格納されています