十分多くの対象を含んだ世界をつくるのに，関数解析では Hahn-Banach の定理を，代数幾何では米田の補題を用いる．集合論では forcing ？
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。
