אין מאטעמאטיק, אַן אַקסיאָמאַטיק סיסטעם איז קיין סעטאַל פון אַקסיאַמז, פון וועלכע עטלעכע אָדער אַלע אַקסיאַמז קענען זיין געניצט אין קאַנדזשאַנגקשאַן צו לאַדזשיקלי אַרויספירן טהעאָרעמס. א טעאָריע באשטייט פון אַן אַקסיאַמאַטיק סיסטעם און אַלע זייַן דערייווד טהעאָרעמס. אַ אַקסיאַמאַטיק סיסטעם וואָס איז גאָר דיסקרייבד איז אַ ספּעציעל טיפּ פון פאָרמאַל סיסטעם. א פאָרמאַל טעאָריע טיפּיקלי מיטל אַן אַקסיאָמאַטיק סיסטעם, פֿאַר בייַשפּיל פאָרמיאַלייטאַד ין מאָדעל טעאָריע. א פאָרמאַל דערווייַז איז אַ פולשטענדיק רידינגז פון אַ מאַטאַמאַטיקאַל קאָרעקטאָר ין אַ פאָרמאַל סיסטעם. [Mathematical proof][פאָרמאַל פּראַוויזשאַנז][לאָגיק][שטעלן: מאטעמאטיק] |