Talk:Con ZFC

From Cantor's Attic
Revision as of 17:55, 10 January 2017 by Trixie Wolf (Talk | contribs) (Created page with "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...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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)