Axiomatická metóda

z Wikipédie, slobodnej encyklopédie

Axiomatická metóda je jeden zo spôsobov deduktívnej konštrukcie vedeckých teórií, pri ktorej:

  1. sa zvolí určitá množina viet určitej teórie prijatých bez dokazovania(axiómy)
  2. pojmy, ktoré sú v nich obsiahnuté, sa v rámci danej teórie explicitne nedefinujú
  3. určia sa pravidlá odvodzovania a pravidlá definovania v rámci danej teórie, ktoré umožňujú postupne prechádzať od jedných viet k druhým a takto zavádzať nové termíny (pojmy) do teorie
  4. všetky ostatné vety danej teórie (teorémy) sa vyvodzujú z (1) na základe (3)

Externé odkazy[upraviť | upraviť zdroj]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.

Pozri aj[upraviť | upraviť zdroj]