現代数学の記述言語である集合論。その最も基本的な概念である空集合と部分集合について学びます。