Co to může být axiom?
Axiom je tvrzení, které se přijímá za pravdivé bez jakéhokoliv důkazu. Prostě obecně platí a není třeba ho nijak dokazovat. Jako příklad Ize uvést jednoduchou soustavu rovnic.
Pokud A=B a zároveň B=C, pak i A=C. V matematice může být příkladem: Číslo 6 je sudé. Obecně platí, že sudá čísla jsou dělitelná dvěma. Pak to znamená, že číslo 6 je dělitelné dvěma.
V reálním životě to je například: „Pokud je pan Kratochvíl sportovec a zároveň všichni sportovci jsou fyzicky zdatní, pak musí platit, že i pan Kratochvíl je fyzicky zdatný."
Kratochvíl = sportovec, sportovec = fyzicky zdatný \rightarrow Kratochvíl = fyzicky zdatný