集合の要素、部分集合、等しいことの証明の書き方
偶数+奇数はいつでも奇数？ 読み解き方、よくある間違いと証明
ユークリッド空間の開集合、閉集合、開球、近傍とは何か？
抽象ベクトル空間・線形空間の具体例R^N：順序対と直積集合
空集合が任意の集合の部分集合であるのはなぜか（空真）
「はじめよう・解いてみよう位相空間」レビュー
「3時間で頭が論理的になる本」レビュー
公理的集合論をわかりやすく解説：ZFC公理系を例に
形式言語、論理式、文とは：公理的集合論に向けて
述語論理、量化子とは：全称記号（∀）と存在記号（∃）、数学における例と否定
記号論理、命題論理入門：覚えるべき論理記号（否定、かつ、または、ならば、同値）とは
妥当な三段論法を導くための6つのルール・誤りについて解説
論理学におけるジレンマとは：具体例を交えて解説
選言三段論法、仮言三段論法とは：具体例を交えて解説
省略三段論法とは：具体例を交えて解説
三段論法の分類：叙法（A,E,I,O）と格、形式、妥当な15種とは
カテゴリー的三段論法とは：具体例と標準形、三段論法的推論
古典論理とは？：妥当な推論、カテゴリー的命題、クラスを解説
