Svoboda
|
Graniru
|
BBC Russia
|
Golosameriki
|
Facebook
跳转到内容
主菜单
主菜单
移至侧栏
囥起來
导航
封面
社区门堂
近段辰光个事体
近段辰光个改动
随机页面
帮忙
捐款
搜寻
搜寻
外观
建账号
登录
私人家伙
建账号
登录
未登录编辑者的页面
了解详情
贡献
讲张
数理逻辑
84種閒話
Afrikaans
Alemannisch
አማርኛ
Aragonés
العربية
Asturianu
Azərbaycanca
Беларуская
Беларуская (тарашкевіца)
Български
বাংলা
Bosanski
Català
Čeština
Чӑвашла
Cymraeg
Dansk
Deutsch
Ελληνικά
English
Esperanto
Español
Eesti
Euskara
فارسی
Suomi
Français
Gaeilge
Gàidhlig
Galego
עברית
हिन्दी
Hrvatski
Magyar
Հայերեն
Bahasa Indonesia
Ido
Íslenska
Italiano
日本語
Jawa
ქართული
Қазақша
한국어
Кыргызча
Latina
Lëtzebuergesch
Luganda
Ligure
Lietuvių
Latviešu
Македонски
Bahasa Melayu
Mirandés
မြန်မာဘာသာ
Nederlands
Norsk nynorsk
Norsk bokmål
Oromoo
Polski
پنجابی
Português
Română
Русский
Scots
Srpskohrvatski / српскохрватски
සිංහල
Simple English
Slovenčina
Slovenščina
Shqip
Српски / srpski
Svenska
Тоҷикӣ
ไทย
Tagalog
Türkçe
Українська
اردو
Oʻzbekcha / ўзбекча
Tiếng Việt
中文
閩南語 / Bân-lâm-gú
粵語
编辑链接
文章
讨论
原文
原文
简体
正體
阅读
编辑
望历史
家生
家生
移至侧栏
囥起來
操作
阅读
编辑
望历史
常规
链进来点啥
搭界个改动
上传文件
特别页面
老世链接
页面信息
引用箇篇文章
获取短URL
下载二维码
维基数据项
打印/导出
创建书本
作为PDF下载
打印版
别个项目里向
维基共享资源
外观
移至侧栏
囥起來
出自维基百科,自由个百科全书
数理逻辑
(英:Mathematical logic)是
数学
个一个分支,渠个研究对象是对证明搭计算迭两个直观概念进行符号化以后个形式系统。数理逻辑是数学基础个一个弗可缺少个组成部分。