本日は、Frege の基本法則 V が Cantor's Theorem と矛盾することの証明を与えます。Cantor's Theorem の証明は、しばしば全射の写像を使い矛盾を導くことでなされますが、基本法則 V が Cantor's Theorem と矛盾することの証明には、単射の写像を使い矛盾を…