jhughes2 jhughes2 31-08-2017 Mathematics contestada true or false? logic and formal proof are recent developments in mathematics.