Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. 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 his Grundgesetze 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.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.