Axiomatic Deductive Logic System