A formal system is used to derive one expression from one or more other expressions previously expressed in the system.
Формалниот систем се користи за изведување на израз од еден или повеќе други изрази претходно наведени во системот.