記号

数学定数「演算から導かれる 1 っぽい数」

変項・変数「なにか入る入れ物」

命題論理「数学で使う推論記号の基礎」

　　　命題記号「 ￢,∧,∨,⇒,⇔ 」

　　　命題の作り方「厳密な形式」

述語論理「存在とか全とかの話」

　　　量化子「 ∃,∀ みたいな学校じゃ習わないやつ」

様相理論「可能性（存在）と必然（全）の話」