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.
Downloads:
|
DOI:
10.17148/IARJSET.2021.8109
[1] Soham Dasgupta , "Proving Gödel’s Completeness and Incompleteness Theorems (in restricted cases) using Sd – Topology over the theory of a Model," International Advanced Research Journal in Science, Engineering and Technology (IARJSET), DOI: IARJSET.2021.8109
Copyright Form