1001コメント309KB

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

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

0153１３２人目の素数さん

2006/05/24(水) 02:43:15

結局、どの段階でメタな定理に持って行くかが問題。
イHilbert styleからNKの推論則を導く（ここで演繹定理）逆は簡単
ロ完全性定理を双方で証明して同等性

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