Man kan antaga som ettaxiom