Nakano, A. WITTGENSTEIN, FORMALISM, AND SYMBOLIC MATHEMATICS. Kriterion 2020, 61.