логическая система — перевод на английский

логическая система — другие примеры

Гёдель формально доказал, что любая логическая система знаний, будь то вычислительная система, физика элементарных частиц, или космология, по определению, не самодостаточна.
Godel was able to formally prove that any logical system of knowledge, be it calculus, particle physics, or cosmology, is, by definition, incomplete.