集合の基礎的性質

§1 記号論理、集合の演算[PDF版] §2 写像[PDF版] §3 単射、全射[PDF版] §4 関係[PDF版] §5 集合の基数[PDF版] §6 基数の演算[PDF版]

§7 Mizarと集合論[PDF版] / MML TARSKI : XBOOLE_0 : XBOOLE_1

集合の基礎的性質:掲示板

担当:師玉 / 電子メール