A Simple Proof of G?del Incompleteness Theorems for Formal Peano Arithmetic

• 形式Peano算术的G?del不完备性定理的一个简单证明