Proporciona algunos axiomas que serán el sustento de los 56 teoremas que enunciará.