When1: 1953
Who: William Craig [Craig, William]
What: mathematician
Where: USA
works\ On Axiomatizability within a System [1953]
Detail: For axiomatic theories, subsets can use only some original terms but contain same theorems {Craig's theorem}.
Mathematical Sciences>Mathematics>History>Axiomatic Theory
3-Mathematics-History-Axiomatic Theory
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224