User:逻辑学之王

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