按作者与版本查阅

以下按已登记位置排列。出现顺序、原文引用与已登记依赖分别展示;最早位置不代表全书首次定义。

Szekeres · source-snapshot-bc3404156f6e

已登记出处中的最早位置:§1.1 · zh-CN。

位置语言登记角色
§1.1zh-CN · 英文上下文术语出现
来源短摘录与定位

§1.1 · zh-CN · translation · unreviewed

它表示所有使 成立的对象。这里不展开形式逻辑的完整定义。命题由常量、变量、逻辑联结词(logical connective)以及量词(quantifier)组成,并按照逻辑规则操作。

来源覆盖、定位与记录

索引保留所有已登记出处,不受模型材料包八小节限额影响。中英上下文按已登记的书、版次与小节配对,不冒充另一语言的概念定义。没有穷尽全书未标记的术语;程序校验不提升原著或译文审阅资格。

登记位置 1;当前可定位出现 1。

永久身份:urn:uuid:e5cf34a0-c35c-4078-8194-cbdb83bbc3cf。

身份历史 · 结构化来源索引