HOME TOP UP PREV NEXT 1 2 GERMAN MAP Tractatus Logico-Philosophicus 4.125
The series of numbers is ordered not by an external, but by an internal relation.
Similarly the series of propositions "aRb", "(x) : aRx . xRb", "(x, y) : aRx . xRy . yRb", etc.
(If b stands in one of these relations to a, I call b a successor of a.)