创造人 罗素 摹状词理论 马克·吐温 神学家 环境 耶稣基督 格言 多明我会 节日 中国谚语 类型论 金钱 圣经 数理逻辑 罪恶 限定摹状词 境界