Axiomatic Studies Of Truth