Theorem
234
[02S] If \(A\) is infinite then \(|A|\ge |{\mathbb {N}}|\). In particular, \(|A|{\gt}n\) for any \(n\in {\mathbb {N}}\).
EDB β 02S
Managing blob in: Multiple languages
[02S] If \(A\) is infinite then \(|A|\ge |{\mathbb {N}}|\). In particular, \(|A|{\gt}n\) for any \(n\in {\mathbb {N}}\).