普遍論争

• S = { x ∈ G | D (x) } において，G が類 (genus)，S が種 (species)，D が種差 (differentia)．
• Grothendieck universe U の部分集合を種，U の元を実在と解釈すると，種は必ずしも実在ではないので，唯名論になる．
  一方，U の元のべき集合は U の元．したがって，U の元を種，U の元の元を実在と解釈すると，種は必ず実在なので，実在論になる．