Amenable set

Redirect to:

• Kripke–Platek set theory