数学里有一个既霸道又温婉的词叫做;有且仅有