Axiomatika

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

Axiomatika je

  • časť základného matematického výskumu, v ktorej sa skúma metóda vypracúvania a určovania významu axióm
  • súbor axióm prijatých na začiatku nejakého hypoteticko-deduktívneho systému.

Zo sústavy axióm by sa mali dať odvodiť všetky tvrdenia v danej disciplíne. Samotné axiómy sa nedokazujé, predpokladá sa, že sú pravdivé. Sústava axióm musí byť bezrozporná, nesmú sa dať odvodiť dva protichodné výroky.

Pozri aj[upraviť | upraviť kód]

Externé odkazy[upraviť | upraviť kód]

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