Von Neumann–Bernays–Gödel axioms

Preparing a child-friendly version of this article. This only happens once — future visits will be instant.