[21]类推的一致性