論理に関するド・モルガンの法則を真偽値の計算（プログラミング）で確かめる
数学における証明とは、健全性、完全性とは？
集合論前夜、いかにして論理は記号化されたか？ ライプニッツ、ド・モルガン、ブール
「ゲーデルの不完全性定理」を誤解しないために、数学の歴史的流れを解説
「集合と位相をなぜ学ぶのか」レビュー
無限集合の多さ（濃度）はどのくらい？ 可算無限、カントールの対角線論法とは
ガリレオのパラドックスとヒルベルトの無限ホテルから感じる、無限集合の性質
集合論入門：集合の定義、数の集合、ラッセルのパラドックス
集合論のはじまり、全称命題と存在命題、論理記号を知ろう
「AならばB」のよくある誤解から学ぶ、論理学入門（対偶、逆、否定、真偽表）
集合、構造、空間とは何か？ ユークリッド空間\(\mathbb{R}^N\)を例に考える
大学数学の教科書の読み方、最初に「定義・命題・証明」を知ろう
