proper axiom

Мат. собственная аксиома