Ur dessa grundsatser följa en mängd axiom,