Re: Constructive Math query.

"david petry" <david_lawrence_petry@xxxxxxxxx> writes:


> Yes, but "the fact that it is one" can only be established by proof.

Consider a statement of the form

For every partial recursive function f, if f is total, then ---f---.

Do you agree that this is not constructively synonymous with "For
every partial recursive function f, if we can prove that f is total,
then ---f---"?
.