984コメント406KB

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

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

0820１３２人目の素数さん

2015/04/22(水) 11:39:11.84ID:4sdpJaey

>>819
wikipediaに限らず>>809も言ってるが
命題論理なしでもできるが
命題論理に基づく定式化も可能だということだ。
自分の挙げたwikipediaくらいよく嫁

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