Man könnte sich, z.B., denken, daß ˇdie Ableitungen in Princ. Math. von von jemandem zum Zeitvertreib, ˇals ˇein Schreibspiel, hingeschrieben worden wären, der mit “ ⌵ ” nicht den Begriff ‘oder’ mit ‘~’ nicht den Begriff ‘nicht’ verbunden hätte,
u.s.f.
etc
Später hätte jemand “ ⌵ ” als Zeichen
der Disjunktion
für oder
, ~ als Zeichen der Verneinung aufgefaßt(, etc), & die ˇˇ(gewissen) zusammenhängenden Zeichengruppenc ˇdes Buches als Ableitungen von Schlußregeln.
      Hätte nun dieser Letztere schon angewandte Mathemathik betrieben?