Tag: unprovable statements

Post Consistency in Formal Theories

A theory is Post consistent if it contains at least one unprovable…

Bossmind