[FOM] Questions on Cantor

[Hendrik Boom]

On Wed, Jan 30, 2013 at 02:36:05AM -0800, Vaughan Pratt wrote:
> 
> "Well-founded" is a property of an arbitrary binary relation R on a
> set X, one definition of which is that there exists an infinite

serious typo:  there exists *no* infinite 

> sequence x0, x1, x2, ... of elements of X such that x_{i+1}Rx_i
> holds for all i >= 0.  Where does Cantor refer to this property,
> however defined?