Čo to môže byť axióm?
Axióm je tvrdenie, ktoré sa prijíma za pravdivé bez akéhokolvek dôkazu. Prosto všeobecne platí a nie je potrebné ho nijako dokazovať. Ako príklad možno uviesť jednoduchú sústavu rovníc.
Pokiaľ \( \mathrm{A}=\mathrm{B} \) a zároveň \( \mathrm{B}=\mathrm{C} \), potom \( \mathrm{A}=\mathrm{C} \). V matematike môže byť príkladom: číslo 6 je párne. Vo všeobecnosti platí, že párne čísla sú deliteľné dvoma. Potom to znamená, že číslo 6 je deliteľné dvoma.
V reálnom živote to je napríklad: „Pokiaľ je pán Kratochvíl športovec a zároveň všetci športovci sú fyzicky zdatní, potom musí platiť, že aj pán Kratochvíl je fyzicky zdatný.“
Kratochvíľ = športovec, športovec \( = \) fyzicky zdatný \( \rightarrow \) Kratochvíľ \( = \) fyzicky zdatný