add chapter on theories, decidability, incompletess via computability