Comment by anonymouz

You can, mathematicians generally don't. That's what the article is partially about - a purely formal proof doesn't get us much.