Hume's principle

Hume's principle

Hume's principle or HP—the terms were coined by George Boolos—says that the number of Fs is equal to the number of Gs if and only if there is a one-to-one correspondence (a bijection) 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.
organisation
http://dbpedia.org/resource/Hume's_principle
Hume's_principle
primaryTopic

Hume's principle

Hume's principle or HP—the terms were coined by George Boolos—says that the number of Fs is equal to the number of Gs if and only if there is a one-to-one correspondence (a bijection) 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.
organisation
http://dbpedia.org/resource/Hume's_principle
has abstract
El principio de Hume, o HP— es ...... emática llamada neo-logicismo.
@es
Hume's principle or HP—the ter ...... ematics known as neo-logicism.
@en
Humes Prinzip ist ein Prinzip ...... orien der transfiniten Zahlen.
@de
Le principe de Hume ou HP (pou ...... nue sous le nom néo-logicisme.
@fr
ヒュームの原理（Hume's Principle、HPと略称 ...... られるものであり、の名で知られる数学の哲学を基礎づけている。
@ja
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
type
comment
El principio de Hume, o HP— es ...... el mismo número de elementos.
@es
Hume's principle or HP—the ter ...... ottish philosopher David Hume.
@en
Humes Prinzip ist ein Prinzip ...... ndlage des Neo-Logizismus ist.
@de
Le principe de Hume ou HP (pou ...... hilosophe écossais David Hume.
@fr
ヒュームの原理（Hume's Principle、HPと略称 ...... られるものであり、の名で知られる数学の哲学を基礎づけている。
@ja
label
Hume's principle
@en
Humes Prinzip
@de
Principe de Hume
@fr
Principio de Hume
@es
ヒュームの原理
@ja
sameAs
wasDerivedFrom
isPrimaryTopicOf