Metamath Proof Explorer


Theorem qct

Description: The set of rational numbers is countable. (Contributed by Glauco Siliprandi, 24-Dec-2020)

Ref Expression
Assertion qct ω

Proof

Step Hyp Ref Expression
1 qenom ω
2 endom ω ω
3 1 2 ax-mp ω