Вынікі пошуку

* Ён заклаў асновы [[Матэматычная логіка|матэматычнай логікі]]<ref name="энциклопедия" />{{sfn |В. Лейбниц // Большая энциклопедия Кирил ...наццацігадовым узросце Лейбніц таксама стаў удумвацца ў сапраўднае заданне логікі як ''класіфікацыі элементаў чалавечага мыслення''; ён расказваў пра гэта на ...

...ўсе палажэнні тэорыі, ці [[тэарэма|тэарэмы]], з дапамогай агульнапрынятай логікі<ref name="bse_method"/>. Тэарэтычная пабудова арыфметыкі аперыруе алгебраіч ...ваюць на спецыяльнай фармальнай мове [[Логіка першага парадку|матэматычнай логікі]]<ref name="bse_formal"/>. Яна ўтрымлівае <math>0</math>, лікавыя пераменны ...