なぜ ZFC (特に AC を含む公理系) を default の数学体系として採用してよいと言えるのか，という議論をここに書き足しました： もっと見る
https://fuchino.ddo.jp/misc/superlesson.pdf#page=26
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。
