第7章：集合論における包含関係と「if」
――真理を包み込む「器」の幾何学
7.1 数学の「OS」としての集合論
20世紀以降の現代数学において、集合論は単なる一分野ではありません。それは数、関数、空間を記述するための「オペレーティング・システム（OS）」です。この巨大なシステムの根幹を支えているのが、他ならぬ「if（ならば）」の論理です。
7.2 部分集合の定義：論理の「含意」を空間に写す
集合論において、ある集合 が集合 の部分集合である（）という言明は、純粋に「if」の言葉で定義されています。
定義： （すべての について、もし が の要素ならば、 は の要素でもある）
この定義により、第2章で学んだ抽象的な論理の強弱を、ベン図における「円の包含」として視覚化できるようになりました。十分条件（）は内側の円であり、必要条件（）はそれを包み込む大きな円です。
7.3 空集合 と空虚な真の必然性
数学には「空集合はあらゆる集合の部分集合である（）」という定理があります。 これを定義に当てはめると： 前件である は常に偽であるため、第4章で学んだ「空虚な真」により、この命題は常に真となります。もしこの「if」のルールがなければ、集合論の体系は例外だらけになり、美しさを失っていたでしょう。
7.4 ラッセルの逆説：自由な「if」への警告
19世紀末、数学者たちは「もし性質 を満たすなら、それは集合の要素である」という自由な「if」の使い方をしていました。しかし、ベルトラン・ラッセルは「自分自身を含まない集合の集合」を考えることで、論理が無限ループに陥り崩壊することを発見しました。
数学における「if」は、この挫折を経て、より制御された「公理的集合論」へと進化しました。私たちは今、制限された安全な「if」の中で数学を構築しています。
7.5 第7章の結語：器の中で鼓動する「if」
集合論を学ぶことは、概念を「器」として捉え、その間に「if」という糸を渡して真理の地図を描く作業です。次章では、この静的な器の中に「極限」という動的な息吹を吹き込む、解析学の精密な「if」を見ていきましょう。