“形式化公理系统（逻辑）”的信息
基本信息
| 显示标题 | 形式化公理系统（逻辑） |
| 默认排序键 | xing2shi4hua4gong1li3xi4tong3 |
| 页面长度（字节） | 2,249 |
| 命名空间ID | 0 |
| 页面ID | 223 |
| 页面内容语言 | zh-hans - 中文（简体） |
| 页面内容类型 | wikitext |
| 爬虫索引 | 允许 |
| 指向该页面的重定向数 | 0 |
| 计为内容页面 | 是 |
页面保护
| 编辑 | 允许所有用户（无限期） |
| 移动 | 允许所有用户（无限期） |
编辑历史
| 页面创建者 | Gsxab（留言 | 贡献） |
| 页面创建日期 | 2024年9月14日 (六) 11:55 |
| 最后编辑者 | Gsxab（留言 | 贡献） |
| 最后编辑日期 | 2026年1月15日 (四) 13:14 |
| 总编辑数 | 5 |
| 不同作者总数 | 1 |
| 近期编辑数（过去90天内） | 4 |
| 近期不同作者数 | 1 |
页面属性
| 使用的模板（1） | 该页面使用的模板： |
搜索引擎优化属性
描述 | 内容 |
条目描述： (description)此属性控制 description和og:description元素的内容。 | 形式化公理系统指形式化的、公理化的系统，在逻辑领域中特指用于推理的形式化的公理系统。本文讲述了形式化公理系统的定义、相关记号、分类和常见的例子。 |
关键词： (keywords)此属性控制 keywords和article:tag元素的内容。 |
|
条目发表日期： (published_time) | 2023-07-09 |