mfar5149 mfar5149 29-05-2019 History contestada True or false? logic and formal proof in math have been around for over 2000 years.