Talk:Con ZFC

From Cantor's Attic
Revision as of 17:56, 10 January 2017 by Trixie Wolf (Talk | contribs)

Jump to: navigation, search

Expressibility

May I have a clarification on "expressible" in the phrase "whenever \alpha is expressible"? Does this perhaps mean any definable ordinal, or any ordinal at all?

I don't quite understand how the consistency statement would be meaningful if \alpha were an infinite ordinal. Trixie Wolf (talk) 16:55, 10 January 2017 (PST)