[FOM] 176:Count Arithmetic
Dean.Buckner at btopenworld.com
Sat Jun 14 12:58:50 EDT 2003
> It's a nice teaser to try to give an inductive definition of the
> quantified formulae that would express "there are exactly n k-tuples
> <x1,...,xk> such that F(x1,...,xk)".
Here's a try. Would something of the following form do:
There are n+1 objects iff there are n objects and it is the case that p
where "p" expresses the same proposition for every value of n?
More information about the FOM