Аксиома
Аксио́ма ( «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Система аксиом фон Неймана — Бернайса — Гёделя
Система аксиом фон Неймана — Бернайса — Гёделя ("NBG", "аксиоматика Гёделя — Бернайса") в метаматематике — одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело — Френкеля с аксиомой выбора ("ZFC"). Предложения, сформулированные на языке теории ZFC, доказуемы в ZFC тогда и только тогда, когда они доказуемы в NBG.