え？
入れ子にするために正則性公理犠牲にしたって聞きたけどそれがデマ？
そもそもアルゴリズムって？