Provide the reader with full information
还没有人认领这个 Issue。
评估
- 难度
- 5/5
- 预计耗时
- 一周以上
- 新手友好度
- 25/100
- Issue 类型
- 文档
- 描述清晰度
- 需要澄清
- 活跃度
- 停滞
- 技术栈
- tex
- 领域
- content, documentation
调研方向
首先，在教科书中严格公理化集合论部分定位链接图像中显示的段落，并阅读其周围的论述。确定该论述中缺少哪些事实、定理或证明；完成的标准是，受影响的段落提供所要求的完整信息，而不是依赖所显示的简写。
由索引模型根据 Issue 内容生成。
描述
Hi, I would kindly like to suggest providing the reader with full information of the facts/theorems/proofs etc. regardless of difficulty or notation.
For instance, the following is not really a good representation especially when in the book says that this part is the rigorous one and not the naive set theory
This specific part of the book is all about rediscovering set theory on a rigorous axiomatic way and the above is not IMHO well-suited at all for this part of the book. It could have been fine to claim something like the above in the naive part of the book.
- 主要语言
- TeX
- 星标
- 1.4k
- 派生
- 289
- PR 合并指标
- 30 天内没有已合并 PR
环境准备
这个项目没有提供开发容器、Dockerfile 或贡献指南，环境需要你自己搭建：先看它的 README，通用步骤见我们的新手贡献指南。
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
OpenLogicProject/OpenLogic 的其他 Issue
-
难度 1/5 1 小时以内 新手友好度 65/100
OpenLogicProject/OpenLogic#339 · 1 条评论 ·
-
难度 4/5 3-5 天 新手友好度 50/100
OpenLogicProject/OpenLogic#436 ·
-
难度 3/5 1-2 天 新手友好度 68/100
OpenLogicProject/OpenLogic#435 · 1 条评论 ·
-
难度 5/5 一周以上 新手友好度 30/100
OpenLogicProject/OpenLogic#425 · 1 条评论 ·
-
Improve docs未关闭
难度 5/5 一周以上 新手友好度 25/100
OpenLogicProject/OpenLogic#390 ·
查看 OpenLogicProject/OpenLogic 的全部 Issue
相似的 Issue
-
⚠ needs intervention document structure changed
难度 2/5 1-3 小时 新手友好度 65/100
-
community documentation first-timers-only good first issue hacktoberfest help wanted low hanging fruit up-for-grabs
难度 1/5 1 小时以内 新手友好度 70/100
lingdojo/kana-dojo#31864 · 1 条评论 · 5 个 reaction ·
维护者通常 1 天内回复
-
难度 1/5 1 小时以内 新手友好度 72/100
cline/mcp-marketplace#2866 ·
-
list-request
难度 2/5 1-3 小时 新手友好度 62/100
Uniswap/tokenlists-org#3325 ·
-
New App Request
难度 2/5 1-3 小时 新手友好度 68/100
ThatGuySam/doesitarm#1104 · 1 条评论 ·