1 statement 陈述的例子-Amann 数学分析 阅读打卡 Herbert Amann Joachim Escher Analysis

热门回复：

• UltimateLambda:Amann其实Sets一节也很坑，它非要将集合作为一种语言看待，又想保持正确，实际最终写的东西，违背了作者前言说的strive for transparency。初学者怎么会去理解要预设一个universe呢，这和Comprehension Axiom有关。并集的构造实际上也要公理，但作者整个就避开了。幂集公理提了一下，但初学者恐怕也不可能理解作者的良苦用心。Amann的整个第一章都让我觉得很奇怪，它有的地方很严格很technical，又有很多地方非常随意，跟欧拉的证明有的一比，当时我做I.6的习题时就受到了惊吓，我完全不知道什么是可以用的，可以认为是正确的，先验的，或者说由metalanguage保证的。
• 伊久岛:哇竟然有读Amann的
• 棂窗Project:在Function前面的内容都可以快速看过去，把定义看一看就好了
• UltimateLambda:我认为你误解了Amann里定义符号和等号的意思, b是一个object (or expression), 如果你熟悉编程语言, 为什么它会提到expression, 它的意思肯定指的是expression的value, value和object当然是一个意思, a是一个symbol, 实际上就是一个名字，用于引用b这个expression的value。(object的意思显然就是它是一个可以构造的数学实体(一般是从集合构造出来的))。等号的两边都不一定是符号（名字），而可能是表达式，它表示两边的值都是相同的对象，即是相同对象的不同表示，等号表达的其实就是外延等价的概念。a和b都不只是符号，所以不应该比喻和理解为标签。（当然，a:=b里a必须是一个符号。）
• 滋啦磊:这本书是不是没有中文版，学数学的想看无从下手[笑哭]