## Philosophy Lexicon of Arguments | |||

Axiom: principle or rule for linking elements of a theory that is not proven within the theory. It is assumed that axioms are true and evident. Adding or eliminating axioms turns a system into another system. Accordingly, more or less statements can be constructed or derived in the new system. > System. | |||

Author | Item | Excerpt | Meta data |
---|---|---|---|

Tarski, Alfred Books on Amazon |
Axioms | Berka I 400 Axiom System / Tarski: problem: choice of axioms is arbitrary and depends on the level of knowledge. Berka I 530 Axiom System / Tarski: methodological problem: to simply assume that an AxS is complete and therefore can solve every problem in its domain. |
Tarsk I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Brk I K. Berka/L. Kreiser Logik Texte Berlin 1983 |

back to list view | > Suggest your own contribution | > Suggest a correction

Ed. Martin Schulz, access date 2017-03-30