João Cruz

• 1. Axiom 1
• 2. Axiom 2
• 3. Axiom 3
• 4. Axiom 4 (1)
• 5. Axiom 4 (2)
• 6. Axiom 4 (4)
• 7. Axiom 5
• 8. Theorem 1
• 9. Theorem 2
• 10. Theorem 3
• 11. Theorem 4
• 12. Theorem 5
• 13. Theorem 6
• 14. Theorem 7
• 15. Theorem 8
• 16. Theorem 9
• 17. Corollary 1 to Theorem 10
• 18. Theorem 10
• 19. Theorem 11
• 20. Theorem 12
• 21. Theorem 13
• 22. Theorem 14
• 23. Theorem 15
• 24. Theorem 16
• 25. Theorem 17
• 26. Theorem 18
• 27. Corollary 2 to Theorem 19
• 28. Corollary 3 to Theorem 19
• 29. Corollary 4 to Theorem 19
• 30. Corollary 5 to Theorem 19
• 31. Theorem 19
• 32. Corollary 6 to Theorem 20
• 33. Theorem 20