And it is obvious that the “ ⊃ ” which we define by means of “ ~ ” and “ ∨ ” is identical with that by which we define “ ∨ ” with the help of “ ~ ”, and that this “ ∨ ” is the same as the first, and so on.
407
And it is obvious that the “ ⊃ ” which we define by means of “ ~ ” and “ ∨ ” is identical with that by which we define “ ∨ ” with the help of “ ~ ”, and that this “ ∨ ” is the same as the first, and so on.