Hur används ordet axiomatisera?

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.