1. 다른 접근법은 공리적인 의미론(Axiomatic semantics)과 연산 의미론(Operational semantics)을 포함하는 프로그래밍 언어의 형식적 의미를 제공한다.

2. “이 금지 조처는 기상천외의 일이나 다름 없는 것으로 간주될 수 있으며, 또한 제2차 세계 대전 중 사람들이 행한 일이 1958년에 와서 어떤 공리적인 전쟁 기념관을 사용할 권리에 대한 시험이 되어야 한다고 결정한 것은 손톱만큼의 공의도 없는 처사입니다.