Arifmetikasınıñ esas nazariyesi, ilk sefer Karl Fridrih Gaussnen isbatlanılğan edi.