Hacktoberfest 2026:维护者为十月标记出来的 issue,仍然开放、适合新手。 浏览 Hacktoberfest issue

Russel's Paradox typo

未关闭 适合新手
#339 1 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

还没有人认领这个 Issue。

评估

难度
1/5
预计耗时
1 小时以内
新手友好度
65/100
Issue 类型
文档
描述清晰度
基本清楚
活跃度
停滞
技术栈
tex

调研方向

打开 content/computability/computability-theory/russells-paradox.tex 并阅读第 15–20 行。检查显示的陈述是否应使用建议的“if and only if”措辞,以及“the set of all sets”是否指 S。完成的标准是修正已确认的拼写错误,并在需要时澄清描述。

由索引模型根据 Issue 内容生成。

描述

https://github.com/OpenLogicProject/OpenLogic/blob/82a31811a017a839d6415b3f45556eaeeb336cdd/content/computability/computability-theory/russells-paradox.tex#L15-L20

I think this should say "then $S \in S$ if and only if $S \notin S$".

Also: Is the "the set of all sets" trying to refer to S? I would have expected S to be described as "the set of all sets that do not contain themself".

主要语言
TeX
星标
1.4k
派生
289
PR 合并指标
30 天内没有已合并 PR

环境准备

这个项目没有提供开发容器、Dockerfile 或贡献指南,环境需要你自己搭建:先看它的 README,通用步骤见我们的新手贡献指南。

从这里开始

  1. 先读完整个 Issue,再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库,在一个分支上完成修改。
  4. 提交 Pull Request,并在描述里引用这个 Issue 编号。

OpenLogicProject/OpenLogic 的其他 Issue

查看 OpenLogicProject/OpenLogic 的全部 Issue

相似的 Issue

更多 Content Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。