Больш фармальна: мноства X {\displaystyle X} з'яўляецца злічальным, калі існуе біекцыя X ↔ N {\displaystyle X\leftrightarrow \mathbb {N} } , дзе N {\displaystyle {\mathbb {N} }} пазначае мноства ўсіх натуральных лікаў.