Frege-kalkulus

Ez a szócikk nem tünteti fel a független forrásokat, amelyeket felhasználtak a készítése során. Emiatt nem tudjuk közvetlenül ellenőrizni, hogy a szócikkben szereplő állítások helytállóak-e. Segíts megbízható forrásokat találni az állításokhoz! Lásd még: A Wikipédia nem az első közlés helye.

A Frege-kalkulus egy matematikai logikai kalkulus (levezetőrendszer), azaz egy alapjelekből, axiómákból, levezetési szabályokból álló formális nyelv vagy elmélet, melyet Gottlob Frege jénai matematikus alkotott meg 1879-ben megjelent, Fogalomírás (Begriffsschrift) c. könyvében.