Finite sets and Gödel's incompleteness theorems

DOI10.4064/dm422-0-1zbMath1058.03065OpenAlexW192540218WikidataQ56853389 ScholiaQ56853389MaRDI QIDQ4829437

Stanislaw Świerczkowski

Publication date: 29 November 2004

Published in: Dissertationes Mathematicae (Search for Journal in Brave)

Full work available at URL: http://journals.impan.gov.pl/dm/Cont/dm422-0.html

zbMATH Keywords

codingGödel's incompleteness theoremshereditarily finite sets

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Axiomatics of classical set theory and its fragments (03E30) Gödel numberings and issues of incompleteness (03F40)

Related Items

A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle, A Formalisation of Finite Automata Using Hereditarily Finite Sets, A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS, A step towards absolute versions of metamathematical results, The scope of Gödel's first incompleteness theorem, Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem, Distilling the requirements of Gödel's incompleteness theorems with a proof assistant, A formally verified abstract account of Gödel's incompleteness theorems, Hereditarily Finite Sets in Constructive Type Theory, Addition and multiplication of sets