Finite - kipawaa/Proof-Tree GitHub Wiki

Statement

A set $S$ is finite if $\exists n \in \mathbb{N}$ such that $\lvert n \rvert = \lvert S \rvert$, i.e. if there exists a Natural Number with the same Cardinality.

Explanation

Proof(s)

History

Applications

Links

Dependencies

• Cardinality
• Natural Numbers

Dependents

• Exponentiation of Cardinal Numbers

Sources

• Hrbacek, K., & Jech, T. (1999). Introduction to Set Theory, Revised and Expanded (3rd ed.). CRC Press. https://doi.org/10.1201/9781315274096