Word Cloud of Mathematical Proof
Mathematical proof is a deductive argument for a mathematical statement.
Word cloud or tag cloud is a graphical representation of word frequency. Presents a picture of the most common words used with those used more often displayed larger and are typically listed alphabetically.
Word cloud generator: Tagxedo.com