In this article, we make a survey on the logical problem of arithmatical sentences, definability and decidability, in paticular.

• 摘要本文是对算术句型中的逻辑问题做一综览，特别是算术句型的可定义性与可决定性。