PM 속에 있는 어떤 형식문의 첫 번째 기호의 정체에 관해 언급하는 단순한 상위 수학적 주장을 표현하는 PM의 방식이 있다.
There's a PM’s way of expressing a simple meta mathematical assertion about the identity of the first symbol of another one of its own formulas.