数学逻辑问题。

数学逻辑问题。