Löb's paradox
English
Etymology
Named after
Martin Hugo Löb
, due to its relationship to
Löb's theorem
.
Proper noun
Löb
's
paradox
Synonym of
Curry's paradox
.