The final, and perhaps the most remarkable, new idea which Post introduced in his thesis was to give a framework for systems of logic as inference systems based on a finite process of manipulation of symbols.
Ang huling, at marahil ang pinaka-karaniwan, ang mga bagong ideya kung saan Magpaskil ng ipinakilala sa kanyang mga sanaysay ay upang bigyan ng isang framework para sa mga sistema ng lohika bilang pagkakilala sistema batay sa takda ng isang proseso ng pagmamanipula ng mga simbolo.