Информационная система по формальным теориям

0

Класс термов: 0.

Определение класса 0:
0=Ø.