csak axiómarendszeren belül!