ha megfelelő axiómarendszert választunk, persze