generated at
abstract object theory
Abstractionism (philosophy of mathematics)