概要「メタ数学ってなに? ってのをざっくりと」
数学って何?「学校の数学なんて忘れてOK」
個人的な見解「数学の実際の使い方とか」
数「数とは何か、みたいな話」
順序数「人間が知ってる数の話」
変数「何かを入れたい入れ物」
数学定数「 0,1,π,e,i のこと」
数理論理学「数学の基礎」
命題論理「推論で人間がよく使うやつ」
述語論理「直感だと間違えやすい部分」
真理値「真・偽 とか 正しい・違う みたいなやつ」
真理集合「真理値を表現する集合論的な方法」
真理値割り当て「議論の最初に行うやつ」
類・クラス「自分も含んじゃう超でかい入れ物」
宇宙「議論をする時の範囲」
公理的集合論「数学が導いた成果」
数学的帰納法「枠・基礎・生成規則での証明の基礎」