公理として認める