Then-the-theory-at-hand-which-is-assumed-to-prov -- Multiple sentences match

+ −

Then the theory at hand, which is assumed to prove certain facts about numbers, also proves facts about its own statements.

Promote Demote Fragment Fix

+ −

Then the theory at hand, which is assumed to prove certain facts about numbers, also proves facts about its own statements, provided that it is effectively generated.

Promote Demote Fragment Fix

« More previous Okay Cancel More next »

0.049 seconds.

Most text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply.