Resumo
Em sua obra Begriffsschrift, Gottlob Frege faz erigir, pela primeira vez na história, um sistema formal (e a própria noção de sistema formal) que pretenderá, alguns anos mais tarde, dar conta de fundamentar a aritmética. Seu sistema pretendia ser capaz de formalizar todas as noções da aritmética de seu tempo, calcado única e exclusivamente em leis básicas da lógica - tentativa que ficou h…