정리 증명기 이전: 알파벳보다 오래된 검증 기술

Before the theorem prover: verification is older than the alphabet