A、逻辑性
B、按照既定规则演化
C、封闭性
D、有限性
A、罗素
B、图灵
C、希尔伯特
D、笛卡尔
A、定量计算
B、规律总结
C、推理与直觉
D、广泛外延
7、【其它】Hilbert计划条件之一就是可判定性。()