Hur används ordet axiomatisera?
Not: Ordklasser och siffror hänvisar till synonymordboken överst. Exempelmeningarna kommer i huvudsak från svenska dagstidningar, tidskrifter, romaner, wikipedia och SVT.
1920 startade Hilbert sitt berömda program, som syftade till att axiomatisera hela matematiken.
Problemet, som formulerades år 1900, var att axiomatisera fysiken där matematik är utbrett.
I stället för att som för topologiska rum axiomatisera begreppet öppen mängd axiomatiserar man begreppet övertäckning.
Det är till exempel ett av axiomen i Zermelo-Fraenkels mängdteori, med urvalsaxiomet som är det dominerande sättet att axiomatisera mängdteori.
Det är till exempel ett av axiomen i ZFC, d.v.s. Zermelo-Fraenkels mängdteori med urvalsaxiomet som är det dominerande sättet att axiomatisera mängdteori.
