超数学

 

概要「メタ数学ってなに? ってのをざっくりと」

数学って何?「学校の数学なんて忘れてOK」

個人的な見解「数学の実際の使い方とか」

 

 

「数とは何か、みたいな話」

順序数「人間が知ってる数の話」

 

 

変数「何かを入れたい入れ物」

数学定数0,1,π,e,i のこと」

 

 

 

数理論理学「数学の基礎」

命題論理「推論で人間がよく使うやつ」

述語論理「直感だと間違えやすい部分」

 

 

真理値「真・偽 とか 正しい・違う みたいなやつ」

真理集合「真理値を表現する集合論的な方法」

真理値割り当て「議論の最初に行うやつ」

 

 

類・クラス「自分も含んじゃう超でかい入れ物」

宇宙「議論をする時の範囲」

 

 

公理的集合論「数学が導いた成果」

数学的帰納法「枠・基礎・生成規則での証明の基礎」