HOME TOP UP PREV NEXT 1 GERMAN MAP Tractatus Logico-Philosophicus 6.24
For equations express the substitutability of two expressions, and we proceed from a number of equations to new equations, replacing expressions by others in accordance with the equations.