We can say that the formal system was one of the most outstanding results obtained with the crisis of mathematics in 1900. In relation to those years mathematics began to be based on more solid foundations, but in spite of this there were quite difficult conclusions to develop as for example the theorem of Gödel.
