Axiomatický systém

Z Wikipédie

Systém axiomatický-e

systém axiomatický-E

E1

Axiomatický systém alebo systém axióm - množina výrokov, ktorá je potrebná na vybudovanie určitej matematickej disciplíny alebo matematickej oblasti v nejakej vede. Všetky ďalšie výroky sa majú len dedukovať pomocou pravidiel logiky.

E2

Na a. s. sa kladú tieto požiadavky:

1. Bezospornosť, ktorá spočiva v tom, že nemožno z neho odvodiť dve protikladné tvrdenia. V opačnom prípade by axiomatický systém bol nepoužiteľný (logické protirečenie). 2. Úplnosť, t. zn., že všetky výroky (vety, teorémy) v danej axiomatizovanej matematickej oblasti sa majú odvodiť z axióm čisto logickou cestou. V opačnom prípade musíme axiomatický systém doplniť (hranice tejto požiadavky ukázal K. G"del). 3. Nezávislosť, t. j. nijaký prvok tohto systému sa nesmie dať odvodiť zo zvyšných. Takto nadobúda každá axióma rozhodujúci význam pre vybudovanie danej matematickej oblasti.

[úprava] Externé odkazy

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

Tento článok potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.