TY - JOUR AU - Stafford, Will IS - 2 JA - Review of Symbolic Logic PY - 2023 TI - The Potential in Frege’s Theorem VL - 16 ER -