Système axiomatique de Lukasievicz démonstration

Bonjour, il y a une démonstration que j'ai du mal à comprendre dans le cadre du système axiomatique de Lukasevicz qui comprend les deux règles d'inférence (modus ponens et substitution) et quelques axiomes.
La démonstration se trouve ici[img]https://i.servimg.com/u/f68/17/09/72/88/arithm11.gif[/img]" />
J'arrive pas à écrire les axiomes, j'espère que vous saurez m'expliquer quand même. Merci !

Salut, est-ce que tu pourrais être plus précis ?
- Quels sont les axiomes de départ ?
- Que veux-tu montrer ?