1001コメント392KB

数学基礎論・数理論理学のスレッド　その7

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

0274１３２人目の素数さん

2011/02/13(日) 19:03:51

俺も依然ヒルベルトの証明形式HKをやったことあるけど
公理型に￢なんて含まれてたっけ？

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