Hume's principle
id:
hume-s-principle-243-7365144
title:
Hume's principle
text:
Hume's principle or HP says that the number of Fs is equal to the number of Gs if and only if there is a one-to-one correspondence between the Fs and the Gs. HP can be stated formally in systems of second-order logic. Hume's principle is named for the Scottish philosopher David Hume and was coined by George Boolos. HP plays a central role in Gottlob Frege's philosophy of mathematics. Frege shows that HP and suitable definitions of arithmetical notions entail all axioms of what we now call second
brand slug:
wiki
category slug:
encyclopedia
description:
Logical principle
original url:
https://en.wikipedia.org/wiki/Hume%27s_principle
date created:
date modified:
2023-11-30T12:23:11Z
main entity:
{"identifier":"Q1553014","url":"https://www.wikidata.org/entity/Q1553014"}
image:
fields total:
13
integrity:
14