A theory is Post consistent if it contains at least one unprovable…
Sign in to your account
Remember me