= Hilbert–Bernays provability conditions {wiki=Hilbert–Bernays_provability_conditions}
Back to article page