ben il cite quelques uns de ses axiomes, notamment definf+, definf- et defnull, mais il manque juste defadd, defmult, defdiv et defpower.