[FOM] inconsistency of P

[W.Taylor at math.canterbury.ac.nz]

Quoting "Timothy Y. Chow" <tchow at alum.mit.edu>:

> Similarly, to doubt that there really exists a strongly inaccessible
> cardinal is to doubt (among other things) that we are justified in
> believing that nobody will ever discover a feasible contradiction in ZFC.

I must have misunderstood the meaning of "feasible".

How could it be possible to discover a non-feasible contradiction in ZFC?

-- wfct


----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.