下面哪个描述不属于邱奇－图灵论题所包含的意思（）A凡是可计算的函数都可以用图灵机计算B任何计算，如果存在一个有效过程，它就能被图灵机实现C有些数学问题是不可求解的(图灵不可停机的)D任何表达力足够强的(递归可枚举)形式系统同时满足一致性和完备性