aksiomatski sustav

aksiomatski sustav, sustav stavova kojemu su osnovni elementi: (1) aksiomi; (2) pravila na temelju kojih se mogu izvoditi transformacije aksioma i deducirati drugi stavovi; (3) deducirani stavovi. Prvi takav sustav bio je sustav euklidske geometrije. Najpoznatiji aksiomatski sustav u logici jest simbolički sustav Bertranda Russella i Alfreda Northa Whiteheada, koji se poslije susreće i pod nazivima »matematizirana logika« ili »logistika«. (→ aksiomatska metoda; aksiomatska teorija skupova)

Citiranje:
aksiomatski sustav. Hrvatska enciklopedija, mrežno izdanje. Leksikografski zavod Miroslav Krleža, 2020. Pristupljeno 31. 5. 2020. <http://www.enciklopedija.hr/Natuknica.aspx?ID=1187>.