#3 前提の式集合に等号が含まれていたら、等号公理を追加する