Knowable and Unknowable: Revision of the Four Major Contradictions in Mathematics and Physics -- And Reestablishing the Original Meaning of Godel's Incompleteness Theorems | Synapse