WITTGENSTEIN, FORMALISM, AND SYMBOLIC MATHEMATICS. Kriterion 2020, 61 (145).