Shoenfield's absoluteness theorem

Redirect to:

  • Absoluteness (logic)