Before revision: Kurt Gödel: A 20th-century logician and mathematician, Gödel was a strong proponent of mathematical Platonism, believing in the existence of a mathematical reality.
After revision: Kurt Gödel: A 20th-century logician and mathematician, Gödel was a strong proponent of mathematical Platonism,