On a consistent subsystem of frege’s grundgesetze

Research output: Contribution to journalArticlepeer-review

6 Scopus citations


Parsons has given a (nonconstructive) proof that the first-order fragment of the system of Frege’s Grundgesetze is consistent. Here a constructive proof of the same result is presented.

Original languageEnglish (US)
Pages (from-to)274-278
Number of pages5
JournalNotre Dame Journal of Formal Logic
Issue number2
StatePublished - 1998

All Science Journal Classification (ASJC) codes

  • Logic


Dive into the research topics of 'On a consistent subsystem of frege’s grundgesetze'. Together they form a unique fingerprint.

Cite this