アマチュア証明論家のブログ

主に数学やロジック（特に証明論）についての勉強内容を書く予定です．