mathematican

main interest: building axiom sytems

especially building mathematically equivalent systems out of different definitions and axioms

www.relationalgeometry.de