形式主義というが

数学から形式をとったら何が残るのか?

明確に言ってみよ