Mit jelent az a szó, hogy "axiomatizálás"?

Semmit. Azonban az "axióma" azt jelenti, hogy olyan dolog, amit nem kell bizonyítani, mert mindenki számára nyilvánvaló, ezért elfogadja igazságnak.

"A pontnak nincs kiterjedése" - ez egy axióma. Ismeri valaki a pontnak bármilyen kiterjedését?

Köznapian kifejezve: ellentmondás-mentessé tétel.

Terület: matematikai logika.

Ezt is neten találtam, nem tudom, ez válasz-e a kérdésedre.

"A döntési problémák egyik alternatív vizsgálati módszerét axiomatikus módszernek nevezzük. Az axiomatizálás a matematika egyik nagyon hatékony módszere. Explicit matematikai alakban adja meg azokat a feltevéseket, amelyeket használni fogja kutatásaiban. Azután ezekből a lehető legtöbb következtetést vonja le. Két előnyös tulajdonsága van:

1. arra kényszeríti a kutatót, hogy explicit alakban fogalmazza meg feltevéseit, és

2. lehetővé teszi a kutató számára hogy egzakt módon levezesse azokat a következtetéseket, amelyek nyilvávalók vagy kevésbé nyilvánvaló módon következnek

A szakirodalomban sok olyan axióma van, amely mást mond, mint ami a szerző szándéka volt.

Az axiomatizálás kizár minden más döntési szabályt a Bayes – féle kritérium kivételével."

[link]

Pontosan azt, amit jelent, "axiómásítást", egy rendszer axiómákkal felírását/megadását, azaz hogy valamilyen rendszert egy kis számú alapfeltevésre redukálsz le.

Ezt mondjuk az előzők is tudhatták volna, pláne aki "semmit" írt.

Nyilván ez egy angolból átvett szó (axiomatize), az -ze, -atize képző kb. -ásítás-t jelentene.

Teljesen mást jelent, kérd.

Attól, hogy valami axiómarendszer, még tartalmazhat ellentmondásokat, és viszont (fordítva is, attól hogy valamiben nincs ellentmondás, köze nincs hozzá, hogy axiómarendszer-e.)

Ha ez nem világos, akkor nem értetted meg az axióma fogalmát.

Axiomatizálni egy tudásanyagot annyit tesz, hogy kimutatod, hogy valamennyi állítása visszavezethető egy kisebb számú kiinduló feltevésre (=azaz axiómára). Azaz, megfordítva a dolgot, ezekből az alapfeltevésekből az összes többi állítás logikusan kikövetkeztethető.

Ha matematikában alapszinten jártas vagy, akkor ismerős a folyamat, hogy "tételeket" bizonyítasz, amelyek bemutatják, hogy ha valamilyen feltételek igazak, akkor egy másik állítás is automatikusan igaz. De bármilyen tudományágban igaz, hogy az ember minél kisebb számú alapállításra visszacsévelésre törekszik.

Ha közeli szinonmát keresel, talán az "egyszerűsítés" vagy a "visszavezetés (redukálás, induktív érvelés,...?" lenne a legközelebb, bár ezek jelentésben elég távoli szavak, nem adják vissza az eredeti teljes értelmét.