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)