Title : La formule de la verite : Pour la demonstration mathematique des notionsΤύπος της αλήθειας