大学数学知らない人向けなのにいきなり公理からの証明をサラッとやるだけなのはちょっと違和感があった