数学の基礎を準備します。一階論理から始めて、集合・クラス…