The second is that all mathematical proofs can be recast as logical proofs or, in other words, that the theorems of mathematics constitute a proper subset of those of logic.
Ang ikalawa ay na ang lahat ng matematika proofs ay maaaring maging muli bilang logical proofs o, sa ibang salita, na ang theorems ng matematika bumubuo ng isang tamang subset ng mga ng lohika.