>>598
間違いみつけ、Rosserの定理の出典がない