掲示板にも書きましたが。 数学が必要であることの数学的証明 其の壱 今、数学が不必要だったとしよう。 ところで、私は今背理法を使って数学が必要であることを証明しようとしている。 ところが、背理法を使うためには数学が必要なので矛盾。 よって、数学…