See Talk:Mathematical proof.