数理論理学

 

概要「数学の正しさの基礎に来るもの」

命題論理「超初歩的な記号の話」

述語論理「命題論理に記号を追加した感じ」

 

 

集合論「なんにでも使える材料の話」

証明論「推論のやり方の話」

モデル理論「枠・基礎・分類の外観の話」

再帰理論「人間が効率良く計算するための話」