Translation for "system of logic" to russian

System of logic

• система логики

Translation examples

система логики

In 1931, he published this theorem called the incompleteness theorem, and what he basically says is there is no such thing as a formal system of logic that is self-contained, that is that can prove every possible assertion
В 1931 году он опубликовал теорему, известную как Теорема Гёделя о неполноте, и, в общих чертах, в ней говориться, что нет такой формальной системы логики, которая бы была самодостаточной, которая могла бы доказать любое возможное утверждение