ライブラリは、使われる記号や定理などを蓄積していきます。広大な数学の世界に整理された道を通します。
webページでは、淡々と記述していきます。たまにコメントアウトで簡単な（人間用の）説明も入れます。

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