Cardinality of N k

From ProofWiki
Jump to: navigation, search

Theorem

$\left|{\N_n}\right| = n = \left|{\N^*_n}\right|$

where $\left|{S}\right|$ is the cardinality of the set $S$.


Proof

This can probably be best proved by induction.