A semi-decidable theory allows for an algorithm to list all its theorems.…
Sign in to your account
Remember me
