In other terms we delimit its strength as follows: Theorem Con(ZFC+ω 2 -Π 1 1-Determinacy) ⇒ ⇒Con(ZFC+V=K+∃ a long unfoldable cardinal ...
確定! 回上一頁