Revised entry by Marian David on July 2, 2009. Changes to: Main text, Bibliography] Narrowly speaking, the correspondence theory of truth is the view that truth is correspondence to a fact - a view that was advocated by Russell and

New Entry by Paolo Mancosu on July 2, 2009.] The essay begins with a taxonomy of the major contexts in which the notion of 'style' in mathematics has been appealed to since the early twentieth century. These include the use