Alternative foundational systems such as von Neumann–Bernays–Gödel (NBG) set theory formally accommo...