Proofs/Definitions/Axioms by G. Viglino | Lex | Lex