算術系統的不可判定性

算術系統的不可判定性(undecidability of ari-thmetic system)佩亞諾算術系統的不可判定特性.1936年，美國數學家、邏輯學家丘奇(Church ,A.)用哥德爾證明不完備定理的思想證明了佩亞諾算術的不可判定性.美國學者羅塞(Rosser } J. B.)同年證明了佩亞諾算術是本質不可判定的(參見“本質不可判定性”).由算術系統的本質不可判定性還可以得到諸如ZF系統等重要理論的不可判定性.