はじめまして。鴎海(かもめうみ)です。2022年9月にアカウントを作成しました。
数学、特に数学基礎論の執筆・拡充をメインに、余裕があれば哲学史と語学についても執筆を行う予定です。
特に理由がない限り、新規執筆では敬体を用いています。
/下書き
いずれの内容に関しても、問題があればご指摘ください。