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