いことんどです 数理論理学を勉強中です。 勉強したことや書いた記事を置いていきます。