As described in chapter 4, the semantic value of the term (lambda
(
... 
[
]) 
) is the set of lists associated with
the function that maps every list of objects ``matching'' the variable list
to the value of when the variables in the variable list are assigned to
the objects in the list. We can capture this meaning with the following axiom
schema.
(= (lambda ( ... []) ) (setofall (listof ... [] 
) (= )))
The semantic value of the term (kappa ( ...
[]) 
) is the set of lists associated with the relation
that holds of every list of objects ``matching'' the variable list
for which the sentence is satisfied. We can capture this meaning
with the following axiom schema.
(= (kappa ( ... []) ) (setofall (listof ... []) )))