Axiomatiskt torde man kunna antagaatt