我们有一个简单的迹象,具有良好的使用。 我们认为,我们可以提供逻辑分析[Zerlegung]的意义,获得了我们意见中的复杂表达具有相同的意义。 如果我们认识到有意义,我们只能允许某些东西作为复杂表达的组成部分。 必须通过将其放在一起的方式产生复杂表达的感觉。 它同意长期以来的简单标志的意义不是任意规定的问题,但只能通过立即见解来认可。 毫无疑问,我们也在这种情况下讲述一个定义。 它可能被称为“分析定义”['Zerlegende定义']以将其与第一种情况区分开来。 但最好在这种情况下避开“定义”这个词,因为我们应该在这里呼唤定义是真的被视为公理。 在第二种情况下,仍然没有任意规定的空间,因为简单的标志已经有一个感觉。 只有一个尚未感觉的标志可以有一个任意分配的迹象。 因此,我们将坚持我们原始的说话方式,只拨打一个建设性的定义一个定义。 根据该定义是一个任意规定,它在一个先前没有的简单标志上赋予了奇迹。 当然,这个意义上面有一个复杂的标志表达,其感觉从它所放在一起的方式。
现在我们仍然需要考虑我们在逻辑分析时遇到逻辑分析,当这种分析是有问题的问题。
让我们假设A是通过构建提供分析的复杂表达式来逻辑地分析的漫长建立的符号(表达式)。 由于我们不确定分析是否成功,我们不准备将复杂的表达呈现为可以被简单的标志A替换的复杂表达式。如果我们打算提出定义,我们没有有权选择已经有意义的标志A,但我们必须选择一个新的标志B说,这仅仅是依赖于定义的复杂表达的感觉。 现在这个问题是A和B是否具有相同的意义。 但如果我们从底部构建新系统,我们可以完全绕过这个问题; 在这种情况下,我们将不得不进一步使用标志A - 我们只会使用B.我们已经推出了符号B,以便通过任意菲亚特替代复杂的表达,以这种方式,我们已经赋予了这一点。 这是一个正确意义的定义,即建设性定义。
如果我们以这种方式管理,以构建数学系统而不需要签署A,我们可以在那里留下这个问题; 根本没有必要回答有关这个意义的问题 - 无论它可能是什么 - 这个标志均初前使用过。 通过这种方式,我们法庭没有异议。 但是,可以感受到使用标志A而不是标志B的权宜之计。但如果我们这样做,我们必须将其视为定义之前没有意义的新标志。 因此,我们必须解释在建立新系统之前使用此标志的意义不再是我们的任何问题,即它的意义将被纯粹从我们所提供的建设性定义中理解。 在构建新系统时,我们可以在新系统之前的数学中没有任何帐户,逻辑上讲。 一切都必须从头开始。 即使是我们的分析活动所能完成的任何东西都是被视为筹备工作,这本身并不是新系统本身的任何外观。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。