„Más szavakkal, minden matematika formalizálható, de a matematika nem meríthető ki egy rendszerrel, egyre gazdagabb nyelvek végtelen sorozatát igényli.“

Tags: