[20]类推的同类性