Basic Law V

E101761 UNEXPLORED

Basic Law V is a central axiom in Frege’s logical system that equates the extensions of concepts with identical truth conditions, and whose inconsistency famously undermined his logicist foundation for arithmetic.

Jump to: Referenced by

Referenced by (3)

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

Frege’s system in "Grundgesetze der Arithmetik" → centralAxiom → Basic Law V ⓘ

Frege’s system in "Grundgesetze der Arithmetik" → includesAxiom → Basic Law V ⓘ

Frege’s system in "Grundgesetze der Arithmetik" → inconsistencySource → Basic Law V ⓘ