Thus, in order to show that any axiomatic system of mathematics is in fact consistent, one needs to first assume the consistency of a system of mathematics that is in a sense stronger than the system to be proven consistent.
Sund, ye assəkən asdəw nəmək wan maɗinan eqal azayan,alməd amək ən tazayt ən maɗinan təqalat daɣ edag assohen amək was nərha asəlmad ən tazayt.