Logicists such as Bertrand Russell and Gottlob Frege believed that mathematics is basically a branch of symbolic logic, because they supposed that mathematical terminology can be defined using only the terminology of logic and because, after this translation of terms, any mathematical theorem can be shown to be a restatement of a theorem of logic.
(
Read more... )