…of explicitly described, “obviously valid” elementary deductions. [0] Do we have any true 100% proof for anything (where we don't rely on some assumption that we consider true without a proof)? [0] A Course in Mathematical Logic for Mathematicians (2010), page 45
《给数学家看的数理逻辑教程》（A Course in Mathematical Logic for Mathematicians），Y. Manin 著 https://math.uchicago.edu/~shmuel/lg-readings/Manin,%20Logic...
A Course in Mathematical Logic for Mathematicians, by Y. Manin https://math.uchicago.edu/~shmuel/lg-readings/Manin,%20Logic...
……由明确描述的、“显然有效”的基本推导组成。[0] 我们对任何事物能有真正 100% 的证明吗（即不依赖任何我们未经证明就视为正确的假设）？[0] 《给数学家看的数理逻辑教程》（2010），第 45 页
…of explicitly described, “obviously valid” elementary deductions. [0] Do we have any true 100% proof for anything (where we don't rely on some assumption that we consider true without a proof)? [0] A Course in Mathematical Logic for Mathematicians (2010), page 45