Con(ZFC+omega(2)-Pi (1)(1)-Determinacy) double right arrow double right arrowCon(ZFC+V=K+There Exists a long unfoldable cardinal double right arrow double ...
確定! 回上一頁