ていうか劣等感さんは数学科卒じゃないんでしょ？
じゃ同値類とかわからないんじゃないの？
完全性定理の証明とかに出てくるけど。