Frege's theorem - Heck, Richard G. (Clarendon Press, 2011)