Hilbert–Bernays paradox

GPTKB entity