The first is that all mathematical truths can be translated into logical truths or, in other words, that the vocabulary of mathematics constitutes a proper subset of that of logic.
Ang una ay na ang lahat ng matematika truths ay isinalin sa makatuwirang truths o, sa ibang salita, na ang bokabularyo ng matematika bumubuo ng isang tamang subset ng mga na ng lohika.