10:1610:16, 3 November 2009diffhist+35
Propositional calculus
Deductive systems standardly have axioms, and notions of the truth of theorems are best avoided until they are more rigorously introduced. Also, I added some clarification.
23:2623:26, 14 November 2008diffhist−13
Analytic philosophy
Deleted the {{dubious}} tag since there's nothing dubious about the claim. Anybody acquainted with the subject can testify, and there's a reference.
10:1610:16, 3 November 2009diffhist+35
Propositional calculus
Deductive systems standardly have axioms, and notions of the truth of theorems are best avoided until they are more rigorously introduced. Also, I added some clarification.
23:2623:26, 14 November 2008diffhist−13
Analytic philosophy
Deleted the {{dubious}} tag since there's nothing dubious about the claim. Anybody acquainted with the subject can testify, and there's a reference.