初めましての方は初めまして。 そうでない方はこんばんは。 そのどちらでもない直感主義者は、どうぞお帰りください。 太郎です。 まずは、自己紹介を。 某大学の数学科で勝手に数学基礎論を学んでいる者です。 専門はモデル理論で、最近は圏論的なロジック…