axiomatisk sats , den vibetvifle