M2: Typy przeliczalne [TODO]
Typy przeliczalnie nieskończone (TODO)
Typy przeliczalne (TODO)