A theory with a decision procedure, allowing algorithmic determination of truth or falsehood for any statement within its framework. This…