Pappus's theorem is logically independent from other projective axioms, proven by existence of non-P...
This proposition has not been edited since the history system was added.