@kururu_goedel: Aronszajn Continuum自体には実数直線が埋めこまれちゃうけど、それはもうどうしようもない、と。2011-02-17 23:34:29 via Seesmic Desktop @kururu_goedel: Aronszajn continuumとAronszajn lineの関係についての証明がわからなくなって一…