previous up next
Go backward to Example
Go up to Top
Go forward to Set Sizes
RISC-Linz logo

Number Quantifier

Definition: For every variable x and formula F, the phrase

#x: F
is 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.

Author: Wolfgang Schreiner
Last Modification: December 7, 1999

previous up next