1. Nature of Truth In mathematics we deal with statements that are “True” or “False”. This is known as the “Law of Excluded Middle”. Despite the fact that multi valued logics are used in computer science, they have no place in mathematical reasoning.   2. Nature of Mathematical Proof A very