1
$\begingroup$

In metamathematics, what convention is used to distinguish an informal proof about the system and a formal proof in the system?

I'd like to reserve "proof" for the object language, what should I write under a meta-theorem?

$\endgroup$
2

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.