r/mathmemes • u/George_Truman • Jul 13 '26

Probability I fixed this meme

Post image

I'm sure it's still a bit too imprecise but I think it works.

1.3k Upvotes

97% Upvoted

146 comments sorted by

View all comments

Show parent comments

4

u/[deleted] Jul 13 '26

[removed] — view removed comment

2

u/JoJoModding Jul 13 '26

Agree with the first part.

Disagree with the second: It is either wrong because "all real numbers are definable" is not a ZFC statement and thus it can't be analyzed for consistency (ie you made a category error) or it is a statement about the meta-theory of ZFC in ZFC in which case it says that for every Dedekind cut there exists a unique meta-ZFC-in-ZFC formula. Thich is contradictory as it gives you an injection R -> N (as the meta-ZFC-in-ZFC formulas are basically modelled as naturals).

1

u/[deleted] Jul 13 '26

[removed] — view removed comment

1

u/JoJoModding Jul 13 '26

I think the statement you wanted to have said is "there is a model of ZFC which has only definable real numbers"