but it's the most trivial theorem, and thus i havent given it such importance as you two have given it.AKG said:Well, I asked if you knew the difference between a tautology and a theorem, but it appears you don't. A theorem is something that can be derived from the axioms. Any reasonable logic will allow you to derive P from P, so you can derive any axiom from the axioms, hence every axiom is a theorem.
the notion of p->p is by iteself an undeniable truth (i wonder if you can give an example of a system when such a statement is not true always?).