アブストラクト・ナンセンス
Usage in mathematical exposition from Noam Elkies' class notes
Other class notes in mathematics