# A Note on Boolos' Proof of the Incompleteness Theorem

• Published in 1994
In the collection
We give a proof of Gödel's first incompleteness theorem based on Berry's paradox, and from it we also derive the second incompleteness theorem model-theoretically.

## Other information

key
Kikuchi1994
type
article
2010-09-03
date_published
1994-02-02
journal
Mathematical Logic Quarterly
number
4
pages
528--532
volume
40

### BibTeX entry

@article{Kikuchi1994,
key = {Kikuchi1994},
type = {article},
title = {A Note on Boolos' Proof of the Incompleteness Theorem},
author = {Kikuchi, Makoto},
abstract = {We give a proof of G{\"{o}}del's first incompleteness theorem based on Berry's paradox, and from it we also derive the second incompleteness theorem model-theoretically.},
comment = {},
}