下载APP
刷刷题APP > 算术系统
"算术系统"相关考试题目
1.
任意一个包含算术系统的形式系统自身不能证明它本身的一致性。这被称为( )
2.
任意一个包含算术系统在内的形式系统中,都存在一个命题,它在这个系统中既不能被证明也不能被否定。这被称为( )。
3.
任意一个包含算术系统在内的形式系统中,都存在一个命题,它在这个系统中既不能被证明也不能被否定。这被称为( )。