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 when you had various classes of sets and you could not talk about
a set in the same class as itself.


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.