算术表示定理

算术表示定理是美籍奥地利数学家哥德(Gode1，K.)于1931年证明的.。算术表示定理是指算术关系可用一阶算术公式表示的定理。算术表示定理是指算术关系可用一阶算术公式表示的定理。