Metamath Proof Explorer


Theorem zenom

Description: The set of integer numbers is equinumerous to omega (the set of finite ordinal numbers). (Contributed by Glauco Siliprandi, 17-Aug-2020)

Ref Expression
Assertion zenom ℤ ≈ ω

Proof

Step Hyp Ref Expression
1 znnen ℤ ≈ ℕ
2 nnenom ℕ ≈ ω
3 1 2 entri ℤ ≈ ω