1. Thì nó sẽ trở thành định lý, một sự thật, vĩnh viễn.

누군가가 더 나은 모양을 증명할 때까지 말입니다. 그러면 정리, 진리가 되어 영원히 가겠죠.

2. Định lý được tìm ra năm 1899 bởi nhà toán học người Mỹ gốc Anh Frank Morley.

1899년에 미국의 수학자 프랭크 몰리가 증명하였다.

3. Vào năm 1931 định lý bất toàn của Gödel đã cho thấy rằng chương trình vĩ đại của Hilbert là không thể như đã phát biểu.

1931년에 쿠르트 괴델이 불완전성 정리를 증명하여, 힐베르트가 꿈꾸었던, 모든 참인 명제를 증명할 수 있는 공리계가 불가능하다는 사실을 증명하였다.