text: Philosopher and logician F.P. Ramsey would later simplify the theory of types arguing that there was no need to solve both semantic and syntactic paradoxes in order to provide a foundation for mathematics.