S (Boolos 1989)

  1. REDIRECT S (set theory)