axiomatic system (Q792542)
set of axioms from which some or all axioms can be used in conjunction to logically derive theorems
Language:
other details
aliases axiomatic theory
 system of axioms
 set of axioms
description set of axioms from which some or all axioms can be used in conjunction to logically derive theorems

External Links
(P508) 17846
(P646) /m/019sgc
(P3417) Axiomatic-System
(P3553) 20002741
(P3827) axiomatization
(P6366) 125773388
(P7305) 3867002
(P10283) C125773388