Countable infinity is the smallest cardinal infinity even without assuming the Axiom of Choice (WARNING: technicalities ahead)
mathematics·@mathowl·
0.000 HBDCountable infinity is the smallest cardinal infinity even without assuming the Axiom of Choice (WARNING: technicalities ahead)
In this post I will answer a question of @targodan : *Can you prove that countable infinity is the smallest cardinal infinity even without assuming the Axiom of Choice?* This question is a response to the [Infinity and beyond part 3 post](https://steemit.com/steemstem/@targodan/infinity-and-beyond-part-3#@targodan/re-mathowl-re-targodan-re-mathowl-re-targodan-infinity-and-beyond-part-3-20180221t082957620z). In that post I claimed that the answer is yes. Unfortunately, I was unable to locate any literature which supported my claim so I had to write this post. <center>  **WARNING** </center> Before I begin I will have to warn you that this post is aimed at Steemians who completed a set-theory course. A basic understanding of the Axiom of Choice and cardinalities is crucial to appreciate this post. ## Preliminaries Denote by  the integers. The cardinality of a set A will be denoted by |A|. We then define the cardinality . Throughout this post we will assume Zermelo-Fraenkel set theory without the Axiom of Choice. ## Main result and proof We will show the following: **Theorem**  *is the minimal infinite cardinal.* *Proof*. Let A be a set with minimal infinite cardinality. This implies that |A| ≤  . The aim of the rest of this proof will be to show that |A| ≥  since if we can show this then we have that  = |A| which proves the theorem. Take  and define . Then it straightforwardly follows that . This implies that there exists a bijection . Observe that by the definition of  we have that  if and only if n=0. Then using that f is injective we also get that  if and only if n=m. We then define the function  which is injective with respect to its range which follows from the previous sentence. We define the set . Observe that |B| =  and that B is a subset of A. Now it follows that |A| ≥ . This completes the proof.  <hr> ## Source Top photo made with [inkscape](https://inkscape.org/en/). All equations written using [quicklatex](https://inkscape.org/en/). They are both free-ware! <hr> ## Thank you! Thanks for being so kind to read my post. You are awesome! Please follow me if you enjoyed it. If you have any questions just post them below and I will answer them. Or if you might have a nice topic you want me to cover also let me know below. :o) <hr> <center> ## Owl tax  [Photo by Mark Broadhurst](https://static.pexels.com/photos/106686/pexels-photo-106686.jpeg) </center>
👍 umich, mathowl, shaka, smasher, trumpman, targodan, sergejkarkarov, minnowsupport, pharesim, masterwu, lemouth, steemstem, justtryme90, anarchyhasnogods, the-devil, dna-replication, mobbs, curie, foundation, liberosist, lamouthe, meerkat, locikll, himal, nitesh9, ratticus, rachelsmantra, kerriknox, gra, anwenbaumeister, rjbauer85, rockeynayak, hendrikdegrote, kryzsec, amavi, dber, gentleshaid, blessing97, mystifact, carloserp-2000, kenadis, kushed, hadji, fredrikaa, liquidtravel, abigail-dantes, leczy, juanjdiaz89, robotics101, markangeltrueman, tantawi, aboutyourbiz, howtostartablog, phogyan, birgitt, spectrums, jasimg, xanderslee, slickhustler007, markmorbidity, pacokam8, infinitelearning, gotgame, vadimlasca, wagun001, lenin-mccarthy, alexander.alexis, ovij, coloringiship, steemstem-bot, rayken04, lafona-miner, dubmove,