1.アイデンティティ公理：命題「P」は、命題「P」から推定されます。

2.二重拒否公理：命題「no p」は、命題「p」から推​​定されます。

3.通勤公理：命題「P O Q」は、命題「QまたはP」から推定されます。

4.関連性公理：命題 "（p or q）またはr"は、命題「p o（q o r）」から推定されます。

5.追加公理：命題「P O Q」は、命題「P」と命題「Q」から続きます。

6.分布axiom：命題「（p and q）またはr」は、命題「p o r」と命題「q o r」から推定されます。

7.シンプルさの公理：命題「PとF」は、命題「P」から推定されます。

8.還元公理：命題「p o f」は、命題「p」から推​​定されます。
1. Axioma de Identidad: La proposición "P" se deduce de la proposición "P".

2. Axioma de Doble Negación: La proposición "No No P" se deduce de la proposición "P".

3. Axioma de Conmutatividad: La proposición "P o Q" se deduce de la proposición "Q o P".

4. Axioma de Asociatividad: La proposición "(P o Q) o R" se deduce de la proposición "P o (Q o R)".

5. Axioma de Adición: La proposición "P o Q" se deduce de la proposición "P" y de la proposición "Q".

6. Axioma de Distribución: La proposición "(P y Q) o R" se deduce de la proposición "P o R" y de la proposición "Q o R".

7. Axioma de Simplicidad: La proposición "P y F" se deduce de la proposición "P".

8. Axioma de Reducción: La proposición "P o F" se deduce de la proposición "P".