Formal logic can eliminate contradictions between theories without requiring empirical data, proving...
This proposition has not been edited since the history system was added.