一階論理から始めて、集合・クラス…