[FOM] Re: Shapiro on natural and formal languages

[JoeShipman@aol.com]

Prodessor Sazonov,

I am intrigued by your remark

"We can try to formalize such proofs very close to how they appeared visually, not necessary in FOL. Moreover, we could have a metatheorem on a translation from this formalization to FOL or ZFC. "

Can you please provide more information on what a formalization of those proofs "very close to how they appeared visually" would be like?

-- JS