I'm trying to understand the problem proposed by David Hilbert in 1928. So, oversimplifying a bit, he was asking for an algorithm that, given a set of axioms, returns true/false if a statement input satisfies all of the above axioms?
E.G. Axiom: Everyone called Gianni is a man Input: Gianni is a woman Output: false