>>579
つまらないんだけど、無矛盾らしい、集合論モドキの公理系をこさえたことは
認めてやってもいいんでないの?