The overwhelming majority of math is done using informal logic, similar to using...

Kranar on Nov 1, 2020 | parent | context | favorite | on: The Complete Idiot’s Guide to the Independence of ...

The overwhelming majority of math is done using informal logic, similar to using pseudocode to describe an algorithm. Almost no one proves mathematical theorems using formal logic, whether it's first order logic or otherwise.