１．全ての数学上の論理は記号論理に翻訳できる。