Are there any formal theories that are not axiomatic? Could you give me some examples?

  • 1
    $\begingroup$ Not in first-order predicate calculus, thogh the axioms may be specified in a way that does not permit verifying whether a sentence is an axiom. For example one may choose to look at the theory determined by all sentences true in the natural numbers. $\endgroup$ – André Nicolas Jun 17 '14 at 19:53

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.