Open main menu

(Q24017414)

English

first-order metaclass

metaclass whose instances are classes of individuals

  • second-order class

Statements