psatz_axiomfree.v 1.86 KB