[FOM] Feasible and Utterable Numbers

[Charles Silver]

On Aug 2, 2006, at 3:50 AM, V.Sazonov at csc.liv.ac.uk wrote:
>
> It is interesting that medium numbers M are closed under successor  
> and,
> nevertheless, are < 1000 so that there is no formal contradiction (due
> to an appropriate restriction on logic).

	You've probably said this before, but if so I missed it.   What  
exactly is (are) the appropriate
restriction(s) on logic to avoid contradiction?  Could you please  
explain this in terms of a natural deduction system with rules such  
as Modus Ponens, Universal Generalization, and the like?

Charlie Silver