In particular, it can be shown that the concepts, "formula", "proof-schema",
"provable formula" are definable in the system PMmutter

 
 

marcello mercado homepage