 On the other hand, it has turned out that to some extent it is possible to bring mathematical methods to bear on philosophical questions concerning mathematics. The setting in which this has been done is that of mathematical logic when it is broadly conceived as comprising proof theory, model theory, set theory, and computability theory as subfields. Thus the twentieth century has witnessed the mathematical investigation of the consequences of what are at bottom philosophical theories concerning the nature of mathematics.