付録A：数学的基礎の復習

集合、論理、関数、関係、帰納・同値関係などを短く復習します。本文で用いる記法の最小限を対象にします（後続版で増補）。