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
|- ZZ ~~ _om

Proof

Step Hyp Ref Expression
1 znnen
 |-  ZZ ~~ NN
2 nnenom
 |-  NN ~~ _om
3 1 2 entri
 |-  ZZ ~~ _om