トップページ⇒math

984コメント406KB

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

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

0220１３２人目の素数さん

2014/11/25(火) 20:50:20.75

>>218
決定可能（統語論的完全）な理論は有限公理化可能なの？

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