>>452
代数閉体の公理系は範疇的でないということでしょうか?