jak by ste prelozili predicate calculus? uvediem vetu hej?
Thus, the class of qualification expressions which can be used in a set specification must have the descriptive power of the class of well-formed formulas of an applied predicate calculus.
thx in advance