axiomatic system - creating theorems

profilebruce peter