来自李建雄的问题
【所谓不可判定命题是指该命题和其反命题都不能由该系统中的公理推导出来,含有这种命题的系统是不完全对吗】
所谓不可判定命题是指该命题和其反命题都不能由该系统中的公理推导出来,含有这种命题的系统是不完全对吗
1回答
2020-11-18 01:49
【所谓不可判定命题是指该命题和其反命题都不能由该系统中的公理推导出来,含有这种命题的系统是不完全对吗】
所谓不可判定命题是指该命题和其反命题都不能由该系统中的公理推导出来,含有这种命题的系统是不完全对吗
是的,是不完全对的