This reminds me of Godel's proof - A formal system (axiomatic system) cannot be complete and consistent at the same time! Each side of the argument have their

This reminds me of Godel's proof - A formal system (axiomatic system) cannot be complete and consistent at the same time! Each side of the argument have their own set of premises/axioms to come to certain conclusions but there are always unknown truths which people tend to ignore. if there are no unknown truths then the argument should be contradictory