鳩ノ巣原理や双対性、不動点定理みたいな存在定理こそ純粋数学現代数学っぽいけどね。
構成的な話も否定しないが。グレブナー基底とか。