Re: "Friendly Premises"

"Acme Diagnostics" <LFinezapthis@xxxxxxxxxxxxxxxx> writes:

> Torkel Franzen <torkel@xxxxxxxxxx> wrote:
>>"Acme Diagnostics" <LFinezapthis@xxxxxxxxxxxxxxxx> writes:
>>
>>>> What is meant by a self-proving procedure or a recursive proof?
>>
>>> You know the answers to both those questions.
>>
>> There is no concept of "self-proving procedure" or "recursive
>>proof" in logic.
>
> That statement is incorrect.

How?

Jesse

--
Jesse Alama (alama@xxxxxxxxxxxx)
.