формальная система — перевод на английский
Варианты перевода словосочетания «формальная система»
формальная система — другие примеры
В 1931 году он опубликовал теорему, известную как Теорема Гёделя о неполноте, и, в общих чертах, в ней говориться, что нет такой формальной системы логики, которая бы была самодостаточной, которая могла бы доказать любое возможное утверждение
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