Metalogic, The axiomatic method

The best known axiomatic system is that of Euclid for geometry. In a manner similar to that of Euclid, every scientific theory involves a body of meaningful concepts and a collection of true or believed assertions. The meaning of a concept can often be explained or defined in terms of other concepts, and, similarly, the truth of an assertion or the reason for believing