incompleteness theorem

ゴミ箱を空にする (Empty the trash can)