G. B Keene

• Abstract sets and finite ordinals;
• First-order functional calculus