Respuesta :

alyssad1031
A challenge posed by David Ackerman in 1928 The problem is an algorithm that considers, an input, a statement and answers (like yes and no) according to whether the statement is universally valid in every structure satisfying the axioms