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
The term value is only well defined if the base formula is true for a finite number of assignments for the bound variable.