我是一個邏輯學家和數學家。