Hilbert–Bernays provability conditions
id:
hilbert-bernays-provability-conditions-192-13134410
title:
Hilbert–Bernays provability conditions
text:
In mathematical logic, the Hilbert–Bernays provability conditions, named after David Hilbert and Paul Bernays, are a set of requirements for formalized provability predicates in formal theories of arithmetic. These conditions are used in many proofs of Kurt Gödel's second incompleteness theorem. They are also closely related to axioms of provability logic.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Hilbert%E2%80%93Bernays_provability_conditions
date created:
date modified:
2024-03-27T01:39:10Z
main entity:
{"identifier":"Q5761238","url":"https://www.wikidata.org/entity/Q5761238"}
image:
fields total:
13
integrity:
13