＞＞62
数学が無矛盾であることは証明不可能
よって1÷2＝2は間違いとはいえない。