File:Keith Ramsay on the largest definable number by Deedlit11 (March 22, 2013)-1