Det bör anlagas som ettaxiom