Besonderhede van voorbeeld: 3150923453212914314

Japanese

数学において、ゲーデル符号を基礎としてゲーデルの不完全性定理の証明がなされた。

Vietnamese

Trong toán học, mã Gödel là nền tảng cho chứng minh Định lý bất toàn của nhà toán học Kurt Gödel.