firstの公理