For example, in most systems of logic (but not in intuitionistic logic) Peirce's law (((P→Q)→P)→P) is a theorem.
Για παράδειγμα, στα περισσότερα συστήματα της λογικής (αλλά όχι στην ιντουσιονιστική λογική) ο νόμος του Πιρς (((P→Q)→P)→P) είναι θεώρημα.