antogs som ett grundaxiomatt