関数解析と代数幾何

十分多くの対象を含んだ世界をつくるのに，関数解析では Hahn-Banach の定理を，代数幾何では米田の補題を用いる．集合論では forcing ？