Then "o is a measurable cardinal" = "o is a cardinal" A Bug (P(o) [U(u,o) a Vxcu [o & X a 5 six e u}]. 1 loo. Sc (a) ("a is super-complete") = WKea [Wyex Iy ...
確定! 回上一頁