International Advanced Research Journal in             Science, Engineering and Technology

A monthly Peer-reviewed / Refereed journal

ISSN Online 2393-8021
ISSN Print 2394-1588

Since  2014

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