## Philosophy Lexicon of Arguments | |||

Proof in logic, mathematics: finite string of symbols, which derives a statement in a system from the axioms of the system together with already proven statements. | |||

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

Tarski, Alfred Books on Amazon |
Proofs | I Berka 406 infinity / proof / Tarski: Solution: provability instead of actual evidence |
Tarsk I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 |

> Counter arguments against **Tarski**

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file

Ed. Martin Schulz, access date 2017-04-27