one of the funniest things I encountered lately

is "theory of objects" 

One data type. Equational theory with no operations and axioms.

Просто теория штук. Теория множеств ее моделирует, понятное дело.