xameer :qed: · @xameer
94 followers · 159 posts · Server mathstodon.xyzI don't post on #mathoverflow , but when i do
https://mathoverflow.net/questions/434279/two-credible-references-seem-to-differ-on-the-equivalence-of-induction-and-well
#linearorder #newfoundations #axiomofchoice #zornslemma #induction
#induction #zornslemma #axiomofchoice #newfoundations #linearorder #mathoverflow
Last updated 3 years ago