Каждое трансфинитовое согласованное множественность, то есть каждый набор трансфинитов, должен иметь определенный алеф в качестве его кардинального номера.