Hur används ordet axiomsystem?
Not: Ordklasser och siffror hänvisar till synonymordboken överst. Exempelmeningarna kommer i huvudsak från svenska dagstidningar, tidskrifter, romaner, wikipedia och SVT.
En mängd av axiom kallas för ett axiomsystem eller en axiomuppsättning.
Huruvida formula_5 är oavgörbart inom ramen för mängdlärans axiomsystem, se kontinuumhypotesen.
Herbrand konstruerade 1929 ett bevis för konsistensen hos ett axiomsystem för aritmetiken.
För att lösa uppgiften genom att använda Kolmogorovs axiomsystem måste vi införa lämpliga beteckningar.
Exempel på axiomatiskt uppbyggda system är geometrien i Euklides Elementa, Peanos axiomsystem och satslogikens formella system.
