安東祐希
数理論理学
証明論