(Lindenbaum) Let be a decidable consistent theory (in a reasonable language). Show that can be extended to a complete decidable consistent theory . Suggestion: Examine in turn each sentence ; add either or to . But take care to maintain decidability.
I think the corresponding definition of decidability is given in page 62 of the textbook.
Any hint to start this problem?