Library ▹ Essentials ▹ Numbers ▹ Cardinal numbers
Corollary 1.8.2.24.
c is uncountable
No proof.
References.
  • https://en.wikipedia.org/wiki/Cardinality_of_the_continuum
  • https://proofwiki.org/wiki/Real_Numbers_are_Uncountable
  • http://metamath.tirix.org/ruc.html
  • https://leanprover-community.github.io/mathlib_docs/data/real/cardinality.html#cardinal.not_countable_real
[View Source]