پل ریچارد هالموس (1916 – 2006) همچنین شناخته شده با: اعداد گویا تاربرگهای پیمودهشده در این نشست: Contingentism ⟩ Axiom of Replacement ⟩ extensional ⟩ faculty ⟩ Jakarta Enterprise ⟩ Contingentism