1001コメント309KB

数学基礎論の質問スレッド　その２

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

0522１３２人目の素数さん

2006/07/26(水) 01:01:41

数学基礎論＝構文論 ∪ 意味論

構文論＝記号論理学

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