Аксиоматический метод и формальное доказательство в математике, неформальное доказательство на естественном языке