Denna förutsättning är afaxiomatisk