Go backward to Example Go up to Top Go forward to Set Sizes |
Definition: For every variable x and formula F, the phrase
#x: Fis a term where x is bound and whose value equals
|{x: F}|.
The term value is only well defined if the base formula is true for a finite number of assignments for the bound variable.