984コメント406KB

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

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

0424１３２人目の素数さん

2015/01/06(火) 00:01:11.68ID:nVabzE2i

公理と推論規則が導入された後の話をsyntaxと呼ぶのは変なのでは？
と思う

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