Axiomatický systém: Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
typografia |
d Robot odstránil zbytočné pomenovanie odkazu |
||
Riadok 2:
Na axiomatický systém sa kladú tieto požiadavky:
*''Bezospornosť'' - nemožno z neho odvodiť dve protikladné tvrdenia. V opačnom prípade by axiomatický systém bol nepoužiteľný ([[
*''Úplnosť'' - 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 [[Kurt Gödel]]).
*''Nezávislosť'' - 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.
| |||