Գրեք սա: Non-axiomatic logic