論理主義派のﾗｯｾﾙとﾎﾜｲﾄﾍｯﾄﾞが数学を論理学の内に収めようとするも失敗｡

ｹﾞｰﾃﾞﾙの完全性定理は述語論理学に対する物。一方、ｹﾞｰﾃﾞﾙの不完全性定理は自然数論に対する物｡

文理の壁は数学に有り｡