Hume’s Principle (derivable, not postulated)

E101762 UNEXPLORED

Hume’s Principle (derivable, not postulated) is the numerical equivalence principle in Frege’s logical system that is obtained as a theorem rather than assumed as a foundational axiom.

Jump to: Referenced by

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Frege’s system in "Grundgesetze der Arithmetik" → formalizes → Hume’s Principle (derivable, not postulated) ⓘ