テキストとして比べて同じかあるいは同等か。背中律って命題の上を動く公理でしょ。言えることはかわると思う。

でも不完全性定理はひとつの命題で書けるはず。あとはどの公理を使うか。