Housdroffの公理系