Är det således ettaxiom