fråga , stötte lian på en sats som ansågs för ett axiom , men som ej vore ettaxiom