Abstract: This is a modification as well as a model theoretic application of my previous paper Sd- Topology over the theory of a Model. The main intention of this article is to proof and visualize the celebrated Gödel’s completeness and incompleteness theorems in a different and lucid approach.

Keywords: Theory, Theorem, Proof, Kuratowski’s Closer Operator, Topology, Sd-Topology, Gödel’s completeness and incompleteness theorems.


PDF | DOI: 10.17148/IARJSET.2021.8109

Open chat