Frege's Theorem - Heck, Richard G., hijo (Oxford)