Zaslat SMS: Wittgenstein, finitism, and the foundations of mathematics