数理逻辑

贝里悖论：试图用“语言”定义“数字”时产生的矛盾