In mathematical logic, the ancestral relation (often shortened to ancestral) of an arbitrary binary relation R is defined below. The ancestral makes its first appearance in Frege's Begriffsschrift. Frege later employed it in hisGrundgesetze as part of his definition of the natural numbers (actually the finite cardinals). Hence the ancestral was a key part of his search for a logicist foundation of arithmetic.
| Property | Value |
|---|
| dbpprop:abstract
|
- In mathematical logic, the ancestral relation (often shortened to ancestral) of an arbitrary binary relation R is defined below. The ancestral makes its first appearance in Frege's Begriffsschrift. Frege later employed it in hisGrundgesetze as part of his definition of the natural numbers (actually the finite cardinals). Hence the ancestral was a key part of his search for a logicist foundation of arithmetic.
|
| dbpprop:reference
| |
| rdfs:comment
|
- In mathematical logic, the ancestral relation (often shortened to ancestral) of an arbitrary binary relation R is defined below. The ancestral makes its first appearance in Frege's Begriffsschrift. Frege later employed it in hisGrundgesetze as part of his definition of the natural numbers (actually the finite cardinals). Hence the ancestral was a key part of his search for a logicist foundation of arithmetic.
|
| rdfs:label
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
![[RDF Data]](/statics/sw-cube.png)
