集合三要素、子集真子集、交并补运算、德摩根定律、充分必要条件、全称量词与存在量词——高中数学的「地基语言」。