![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
is "theory of objects"
One data type. Equational theory with no operations and axioms.
Просто теория штук. Теория множеств ее моделирует, понятное дело.
One data type. Equational theory with no operations and axioms.
Просто теория штук. Теория множеств ее моделирует, понятное дело.
