我是一个逻辑学家和数学家。