Pregunta de entrevista de Applift

Mathematical logic questions.