集合論の公理とかとはまた意味が違うよね