モノイド空間を定義して
そこで健全性定理をイーストンの定理で導入すればZFが矛盾する。