>>769
なにを質問したいのかが全く分からない
不完全性定理について知りたいのなら証明を理解すればよろしい

>>772
その等式はR1もR2も共にゼロではないという前提条件がある