形式数学、そんなのありえないと自分の直観が拒絶するような命題を、形式的証明によってねじ伏せどこまで直観を上書きできるか耐久ゲームみたいな所ある
おれ、直観上書きやれます、おれにやらせてください
まああんまり上書きできすぎても、形式パズルに強い実在性を感じてしまい、ツールとして現実を記述する利便さを無視する異常者になってしまうので、もしそれを望まないのであれば気を付けなければならない（自戒）
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。
まああんまり上書きできすぎても、形式パズルに強い実在性を感じてしまい、ツールとして現実を記述する利便さを無視する異常者になってしまうので、もしそれを望まないのであれば気を付けなければならない（自戒）