1. Alex Wilkie also proved that there exist transcendental functions for which first-order-logic proofs about their transcendence do not exist by providing an exemplary analytic function.

Alex Wilkie는 전형적인 해석함수를 제공함으로써 초월에 대한 1차 논리 증명이 존재하지 않는 초월 함수가 있음을 증명했다.