196

axiomatic system

axiomatic system