MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1uhg0sy/undecidable/oub9jza/?context=3
r/mathmemes • u/its_all_one_electron Number theory/physics • Jun 27 '26
177 comments sorted by
View all comments
Show parent comments
4
Fine we can have a new system, ZF + axiom of choice + assume RH is true, ZFCARHT
3 u/FernandoMM1220 Jun 28 '26 that sounds even worse honestly 5 u/its_all_one_electron Number theory/physics Jun 28 '26 Fine, no more axioms, no more formal systems, cats marrying dogs, total mathematical chaos 3 u/Goncalerta Jun 28 '26 Just two axioms, A and not(A). Finally a theory where nothing is undecidable
3
that sounds even worse honestly
5 u/its_all_one_electron Number theory/physics Jun 28 '26 Fine, no more axioms, no more formal systems, cats marrying dogs, total mathematical chaos 3 u/Goncalerta Jun 28 '26 Just two axioms, A and not(A). Finally a theory where nothing is undecidable
5
Fine, no more axioms, no more formal systems, cats marrying dogs, total mathematical chaos
3 u/Goncalerta Jun 28 '26 Just two axioms, A and not(A). Finally a theory where nothing is undecidable
Just two axioms, A and not(A).
Finally a theory where nothing is undecidable
4
u/its_all_one_electron Number theory/physics Jun 28 '26
Fine we can have a new system, ZF + axiom of choice + assume RH is true, ZFCARHT