Belfort

Exercise 12.3. Is the Check-Proof Problem described below computable? Provide a convincing argument supporting your answer.Check-ProofCheck-ProofInput: A specification of an axiomatic system, a statement (the theorem), and a proof (a sequence of steps, each identifying the axiom that is applied).}…