El principio de Hume, o HP es un término creado por George Boolos el mismo establece que el número de Fes es igual al número de Gs si hay una correspondencia uno a uno entre las Fs y las Gs. El HP puede ser enunciado formalmente en sistemas con lógica de segundo orden. El HP juega un rol central en la filosofía de la matemática de Gottlob Frege.
rdfs:comment |
|
foaf:isPrimaryTopicOf | |
rdfs:label |
|
Is foaf:primaryTopic of | |
dcterms:subject | |
prov:wasDerivedFrom | |
Is dbpedia-owl:wikiPageDisambiguates of | |
dbpedia-owl:wikiPageExternalLink | |
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageInterLanguageLink | |
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
Is dbpedia-owl:wikiPageRedirects of | |
dbpedia-owl:wikiPageRevisionID |
|
dbpedia-owl:wikiPageWikiLink | [17 values] |
Is dbpedia-owl:wikiPageWikiLink of |