This document formally compares the core theological and ecclesiological differences between the Catholic and Orthodox Christian traditions using the language of symbolic logic. We define predicates for key doctrines, establish axioms for each tradition, demonstrate logical contradictions, highlight areas of equivalence, and conclude with a modal analysis of necessity versus possibility. ( direct link )