既に収集済みだった

>>208
同等というと語弊がある気がするけど
不完全性定理を使って示すよね