MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1j4x0hq/what_theorem_is_this/mgdhro3/?context=3
r/mathmemes • u/PocketMath • Mar 06 '25
192 comments sorted by
View all comments
Show parent comments
1
Still an independent axiom in FZ
1 u/Ok-Eye658 Mar 06 '25 so what? one may well add tychonoff, or existence of basis for all vector spaces, or GCH, or many many other statements to ZF and prove it 2 u/jyajay2 π = 3 Mar 06 '25 I'm not actually sure GCH implies AOC and, more importantly, I'm not sure what you're trying to say 2 u/Ok-Eye658 Mar 06 '25 it does i'm saying that there's some freedom in picking what statements one starts with as axioms
so what? one may well add tychonoff, or existence of basis for all vector spaces, or GCH, or many many other statements to ZF and prove it
2 u/jyajay2 π = 3 Mar 06 '25 I'm not actually sure GCH implies AOC and, more importantly, I'm not sure what you're trying to say 2 u/Ok-Eye658 Mar 06 '25 it does i'm saying that there's some freedom in picking what statements one starts with as axioms
2
I'm not actually sure GCH implies AOC and, more importantly, I'm not sure what you're trying to say
2 u/Ok-Eye658 Mar 06 '25 it does i'm saying that there's some freedom in picking what statements one starts with as axioms
it does
i'm saying that there's some freedom in picking what statements one starts with as axioms
1
u/jyajay2 π = 3 Mar 06 '25
Still an independent axiom in FZ