kunna beteckna dest gäng i axiomatifla satser , riktigt paragrafera ben.