Mathematicians often represent things with abstract ideas, such as numbers or perfectly straight lines, and then work with those ideas alone. The "things" from which they abstract can be ideas themselves (for example, a proposition about "all equal-sided triangles" or "all odd numbers").

No closely related standards have been identified.