pa en abstrakt sats , framställd såsom axiom , hvilket den dock ingalunda .. vöre.