Adesso che il motore inferenziale per noi non ha più segreti, dobbiamo decidere cosa farcene. Un’idea potrebbe essere di utilizzarlo per dimostrare il teorema di incompletezza di Gödel (non preoccupatevi, era solo una minaccia).