Art. 03 – Vol.23 – No. 4 – 2013
National Institute for Research & Development in Informatics – ICI Bucharest
Abstract: In this article we review the facts that led to the crisis of mathematics and then to the quest of their fundaments, by which the foundation of sciences is found. We point out that the definition is not unique and that it is the dynamical factor of mathematics, allowing the intelectual act of creation all its liberty of movement.
Key words: definition, propositional function, metamathematics, proof.