axiomatic system (Q1765)
From MaRDI portal
set of axioms from which some or all axioms can be used in conjunction to logically derive theorems
- axiomatic theory
- system of axioms
- set of axioms
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | axiomatic system |
set of axioms from which some or all axioms can be used in conjunction to logically derive theorems |
|
