증명의 엄밀성: 기호적 표현과 논리적 연쇄의 무결성