On some implications of formalized theories in our life

The formalized theories in which are considered different types of logics give us an easier way of understanding of our own interpretations of the concepts and of the events of life. In the paper "Paradoxist mathematics " [l] Smarandache proved that contradiction is not a catastrophe even in mathematics and he taught us how to handle it. Even more, this can encourage us in our life, for the infinite dimensional capacity of human condition. Through this paper we meditate on the great diversity of human condition seen through the axiomatization of a formalized theory. Thus the science gives some explanations for the life and the life inspires the science. We denote S:=(N,R,A) an axiomatical system of a formalized theory; N and R are fundamental notions and relations and A is a list of hypothesis propozitions (axioms in the modem meaning)