Axiomatika
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
Externé odkazy
- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
This article uses material from the Wikipedia Slovenčina article Axiomatika, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Obsah je dostupný pod licenciou CC BY-SA 4.0, pokiaľ nie je uvedené inak. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Slovenčina (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.