dest gäng i axiomatista satser , riktigt paragrafera den.