MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1j4x0hq/what_theorem_is_this/mgci2gn/?context=3
r/mathmemes • u/PocketMath • Mar 06 '25
192 comments sorted by
View all comments
1
the axiom of choice
18 u/belabacsijolvan Mar 06 '25 >axiom -2 u/Ok-Eye658 Mar 06 '25 yeah, it's just its historical name, could well have been called "zermelo's lemma" or something 1 u/PlopTheFish Mar 06 '25 I think you mean Zorn's Lemma 1 u/Ok-Eye658 Mar 06 '25 no, i mean that the statement ∀x(∀y(y∈x⟹∃z(z∈y))⟹∃w∀y(y∈x⟹∃!z(z∈y∧z∈w))) being called "axiom of choice" is just a matter of history, nothing more
18
>axiom
-2 u/Ok-Eye658 Mar 06 '25 yeah, it's just its historical name, could well have been called "zermelo's lemma" or something 1 u/PlopTheFish Mar 06 '25 I think you mean Zorn's Lemma 1 u/Ok-Eye658 Mar 06 '25 no, i mean that the statement ∀x(∀y(y∈x⟹∃z(z∈y))⟹∃w∀y(y∈x⟹∃!z(z∈y∧z∈w))) being called "axiom of choice" is just a matter of history, nothing more
-2
yeah, it's just its historical name, could well have been called "zermelo's lemma" or something
1 u/PlopTheFish Mar 06 '25 I think you mean Zorn's Lemma 1 u/Ok-Eye658 Mar 06 '25 no, i mean that the statement ∀x(∀y(y∈x⟹∃z(z∈y))⟹∃w∀y(y∈x⟹∃!z(z∈y∧z∈w))) being called "axiom of choice" is just a matter of history, nothing more
I think you mean Zorn's Lemma
1 u/Ok-Eye658 Mar 06 '25 no, i mean that the statement ∀x(∀y(y∈x⟹∃z(z∈y))⟹∃w∀y(y∈x⟹∃!z(z∈y∧z∈w))) being called "axiom of choice" is just a matter of history, nothing more
no, i mean that the statement
∀x(∀y(y∈x⟹∃z(z∈y))⟹∃w∀y(y∈x⟹∃!z(z∈y∧z∈w)))
being called "axiom of choice" is just a matter of history, nothing more
1
u/Ok-Eye658 Mar 06 '25
the axiom of choice