Hivad beträffar det första af dessa axiomer,