قضیه اساسی حساب نخست توسط کارل فریدریک گاوس ثابت شد.