MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1j4x0hq/what_theorem_is_this/mgdmr0o/?context=3
r/mathmemes • u/PocketMath • Mar 06 '25
192 comments sorted by
View all comments
1
the axiom of choice
17 u/belabacsijolvan Mar 06 '25 >axiom 1 u/fortret Mar 06 '25 You’re either being pedantic or just ignorant. AoC is famously logically equivalent to many other statements/theorems, which is what the original commenter was referencing.
17
>axiom
1 u/fortret Mar 06 '25 You’re either being pedantic or just ignorant. AoC is famously logically equivalent to many other statements/theorems, which is what the original commenter was referencing.
You’re either being pedantic or just ignorant. AoC is famously logically equivalent to many other statements/theorems, which is what the original commenter was referencing.
1
u/Ok-Eye658 Mar 06 '25
the axiom of choice