Showing 1–2 of 2 results for author: Al-Johar, Z A

An alternative proof of Godel's first incompleteness theorem

Authors: Zuhair A. Al-Johar

Abstract: This proof of Godel's first incompleteness theorem doesn't require omega-consistency, nor does it refer to codes of negated sentences as in Rosser's. It begins from where Godel's usual proof ends, and stalks it till it ends proving it. This proof of Godel's first incompleteness theorem doesn't require omega-consistency, nor does it refer to codes of negated sentences as in Rosser's. It begins from where Godel's usual proof ends, and stalks it till it ends proving it. △ Less

Submitted 29 August, 2023; v1 submitted 14 August, 2023; originally announced August 2023.

Comments: 5 pages, typos corrected, lemmas added, more uniform notation, clarifying notes added, the proof is essentially the same

Short Axiomatization of Stratified Comprehension

Authors: Zuhair A. Al-Johar

Abstract: There are several finite axiomatizations of stratified comprehension. The famous two are Hailperin's and Randall Holmes's. However, the system presented here could be the shortest known one written in the first order language of set theory. This axiomatization uses unordered pairs, unlike the prior axiomaizations which used ordered pairs, so this makes a simpler formulation in the first order lang… ▽ More There are several finite axiomatizations of stratified comprehension. The famous two are Hailperin's and Randall Holmes's. However, the system presented here could be the shortest known one written in the first order language of set theory. This axiomatization uses unordered pairs, unlike the prior axiomaizations which used ordered pairs, so this makes a simpler formulation in the first order language of set theory. The proof works under absence of Extensionality, so it can serve to complete an axiomatization of NFU or NF. △ Less

Submitted 9 September, 2020; v1 submitted 25 August, 2020; originally announced September 2020.

Comments: 5 pages