undecidability of arithmetic system的意思|示意
美 / /
英 / /
算术系统的不可定性