### 1.2.3.6 The Logical School

This is the name of the school that is still attempting to describe mathematics in terms of Logic.

To escape the paradoxes Russell invented the theory of types which stated that you had various classes of sets and you could not talk about a set in the same class as yourself.

You had to go to a higher class. This solved one problem but also posed many others.

One consequence was the concept of a meta-system which was later taken up by Hilbert.