Π§ΠΈΡ‚Π°ΠΉΡ‚Π΅ ΠΊΠ½ΠΈΠ³ΠΈ ΠΎΠ½Π»Π°ΠΉΠ½ Π½Π° Bookidrom.ru! БСсплатныС ΠΊΠ½ΠΈΠ³ΠΈ Π² ΠΎΠ΄Π½ΠΎΠΌ ΠΊΠ»ΠΈΠΊΠ΅

Π§ΠΈΡ‚Π°Ρ‚ΡŒ ΠΎΠ½Π»Π°ΠΉΠ½ Β«Π₯аос ΠΈ структура». Π‘Ρ‚Ρ€Π°Π½ΠΈΡ†Π° 62

Автор АлСксСй ЛосСв

ΠžΡΡ‚Π°Π½ΠΎΠ²ΠΈΠΌΡΡ сначала Π½Π° воздСйствии, ΠΏΠΎΠ»ΡƒΡ‡Π°Π΅ΠΌΠΎΠΌ ΠΎΡ‚ аксиом нСпрСрывности аксиомами Π΅Π΄ΠΈΠ½ΠΎβ€“Ρ€Π°Π·Π΄Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ Π² Π°Ρ€ΠΈΡ„ΠΌΠ΅Ρ‚ΠΈΠΊΠ΅.

2. Π°) Π§Ρ‚ΠΎ касаСтся арифмСтичСских аксиом Π΅Π΄ΠΈΠ½ΠΎβ€“Ρ€Π°Π·Π΄Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ, Ρ‚ΠΎ ΠΈΡ… Π²ΠΈΠ΄ΠΎΠΈΠ·ΠΌΠ΅Π½Π΅Π½ΠΈΠ΅ Π² зависимости ΠΎΡ‚ ΠΊΠ°Ρ‚Π΅Π³ΠΎΡ€ΠΈΠΈ становлСния выясняСтся тотчас ΠΆΠ΅, ΠΊΠ°ΠΊ ΠΌΡ‹ Π²Π½ΠΈΠΊΠ½Π΅ΠΌ Π² ΡΡƒΡ‰Π½ΠΎΡΡ‚ΡŒ становлСния, ΠΈΠ½ΠΎΠ±Ρ‹Ρ‚ΠΈΠΉΠ½ΠΎΠ³ΠΎ, ΠΊΠ°ΠΊ ΠΌΡ‹ Π·Π½Π°Π΅ΠΌ, Π² ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠΈ идСального. Π‘Ρ‚Π°Π½ΠΎΠ²Π»Π΅Π½ΠΈΠ΅ ΠΏΠΎΡ‚ΠΎΠΌΡƒ ΠΈ Π΅ΡΡ‚ΡŒ становлСниС, Ρ‡Ρ‚ΠΎ ΠΎΠ½ΠΎ Π΅ΡΡ‚ΡŒ Π²Ρ‹Ρ…ΠΎΠ΄ смысла Π½Π°Ρ€ΡƒΠΆΡƒ, самоотчуТдСниС смысла. Π•Π³ΠΎ ΠΌΡ‹ поэтому Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌ Π΅Ρ‰Π΅ алогичСским. ΠΠ»ΠΎΠ³ΠΈΡ‡Π½ΠΎΡΡ‚ΡŒ Π² Ρ‚ΠΎΠΌ ΠΈ Π·Π°ΠΊΠ»ΡŽΡ‡Π°Π΅Ρ‚ΡΡ, Ρ‡Ρ‚ΠΎ ΠΎΠ½Π° вносит внС–логичСский ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏ. Π’Π°ΠΊ, Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€, идСальная структура логичСски ΠΏΡ€Π΅Π΄ΠΏΠΎΠ»Π°Π³Π°Π΅Ρ‚ ΠΊΠ°Ρ‚Π΅Π³ΠΎΡ€ΠΈΠΈ различия, тоТдСства, двиТСния ΠΈ ΠΏΡ€. Π²ΠΈΠ΄Π° <…> ΠΏΡ€ΠΈΠ²Ρ…ΠΎΠ΄ΠΈΡ‚ алогичСский ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏ, Ρ‚ΠΎ ΠΎΠ½ ΠΌΠΎΠΆΠ΅Ρ‚ Π½Π° любом ΠΌΠΎΠΌΠ΅Π½Ρ‚Π΅ ΠΏΡ€ΠΈΠΎΡΡ‚Π°Π½ΠΎΠ²ΠΈΡ‚ΡŒ логичСскоС слСдованиС ΠΊΠ°Ρ‚Π΅Π³ΠΎΡ€ΠΈΠΉ ΠΈ, ΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ, Π²Π·ΡΡ‚ΡŒ ΠΈΡ… Π² ΠΊΠ°ΠΊΠΎΠΉ ΡƒΠ³ΠΎΠ΄Π½ΠΎ ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ†ΠΈΠΈ, Π² ΠΊΠ°ΠΊΠΎΠΉ ΡƒΠ³ΠΎΠ΄Π½ΠΎ нСсвязанности. Π‘ Π΄Ρ€ΡƒΠ³ΠΎΠΉ стороны, Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ссли Ρ†Π΅Π»ΠΈΠΊΠΎΠΌ ΠΏΡ€ΠΎΠ²ΠΎΠ΄ΠΈΡ‚ΡŒ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏ становлСния, ΠΈΠ»ΠΈ нСпрСрывности, ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠΎΡ€ΡƒΡ‡ΠΈΡ‚ΡŒΡΡ, Ρ‡Ρ‚ΠΎ всС логичСски Π²Ρ‹Π²Π΅Π΄Π΅Π½Π½Ρ‹Π΅ ΠΊΠ°Ρ‚Π΅Π³ΠΎΡ€ΠΈΠΈ Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ ΠΈΠΌΠ΅ΡŽΡ‚ Ρ€Π΅Π°Π»ΡŒΠ½Ρ‹ΠΉ смысл. Ибо ΠΌΠΎΠΆΠ΅Ρ‚ ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒΡΡ, Ρ‡Ρ‚ΠΎ логичСски–то ΠΌΡ‹ Π²Ρ‹Π²Π΅Π»ΠΈ ΠΈΡ… ΠΏΡ€Π°Π²ΠΈΠ»ΡŒΠ½ΠΎ, Π° Ρ€Π΅Π°Π»ΡŒΠ½ΠΎ ΠΎΠ½ΠΈ ΠΎΡΡƒΡ‰Π΅ΡΡ‚Π²Π»ΡΡŽΡ‚ΡΡ частично ΠΈ Π²Ρ€Π°Π·Π΄Ρ€ΠΎΠ±ΡŒ. Π˜Ρ‚Π°ΠΊ, катСгория нСпрСрывности, примСнСнная ΠΊ катСгориям Π΅Π΄ΠΈΠ½ΠΎβ€“Ρ€Π°Π·Π΄Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ, Π²ΠΏΠ΅Ρ€Π²Ρ‹Π΅ ставит вопрос ΠΎΠ± ΠΈΡ… Ρ€Π΅Π°Π»ΡŒΠ½ΠΎΠΌ ΠΈ совокупном дСйствии, Π²ΠΏΠ΅Ρ€Π²Ρ‹Π΅ исслСдуСт Ρ„ΠΎΡ€ΠΌΡ‹ осущСствлСния всСх ΠΊΠ°Ρ‚Π΅Π³ΠΎΡ€ΠΈΠΉ, ΠΈΠ· ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… диалСктичСски выросло число.

b) ИмСя это Π² Π²ΠΈΠ΄Ρƒ, ΠΌΠΎΠΆΠ½ΠΎ ΠΈΡΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚ΡŒ ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½Π½Ρ‹Π΅ Π½Π°ΠΌΠΈ Π΄ΠΎ сих ΠΏΠΎΡ€ аксиомы. Π‘ΠΊΠ°ΠΆΠ΅ΠΌ Π²ΠΎΠΎΠ±Ρ‰Π΅, Ρ‡Ρ‚ΠΎ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ΠΎΠΌ этого исслСдования Π΄ΠΎΠ»ΠΆΠ½ΠΎ ΡΠ²ΠΈΡ‚ΡŒΡΡ ΡƒΡ‡Π΅Π½ΠΈΠ΅ ΠΎΠ± арифмСтичСских опСрациях, дСйствиях. Π‘ΠΎΠ»ΡŒΡˆΠ΅ всСго это понятно Π½Π° аксиомС самотоТдСствСнного различия (Β§ 25). Если эта аксиома гласит, Ρ‡Ρ‚ΠΎ ΠΈΠ· всяких Π° ΠΈ b составляСтся Π½Π΅ΠΊΠΎΠ΅ Π²ΠΏΠΎΠ»Π½Π΅ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½Π½ΠΎΠ΅ с, Ρ‚ΠΎ Π² этом смыслС ΠΎΠ½Π° Π΅Ρ‰Π΅ Π½Π΅ Π±Ρ‹Π»Π° ΡƒΡ‡Π΅Π½ΠΈΠ΅ΠΌ ΠΎΠ± арифмСтичСской ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ слоТСния. Π­Ρ‚Π° аксиома, Ссли Π΅Π΅ Π±Ρ€Π°Ρ‚ΡŒ Π² строгом ΠΈ собствСнном смыслС слова, гласит Ρ‚ΠΎΠ»ΡŒΠΊΠΎ, Ρ‡Ρ‚ΠΎ всякоС число Π΅ΡΡ‚ΡŒ нСкая ΡΠΎΡΡ‚Π°Π²Π»Π΅Π½Π½ΠΎΡΡ‚ΡŒ ΠΈΠ· ΠΊΠ°ΠΊΠΈΡ…β€“Π½ΠΈΠ±ΡƒΠ΄ΡŒ Сдиниц–элСмСнтов. Π’ΡƒΡ‚ ΡΡ‚Π°Π²ΠΈΠ»ΠΎΡΡŒ ΡƒΠ΄Π°Ρ€Π΅Π½ΠΈΠ΅ Π½Π° самой этой составлСнности, Π½Π° Π΅Π΅ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π΅, Π½Π° с, Π° Π½Π΅ Π½Π° Π° + b. Π§Ρ‚ΠΎΠ±Ρ‹ ΡΠΎΡΡ€Π΅Π΄ΠΎΡ‚ΠΎΡ‡ΠΈΡ‚ΡŒΡΡ Π½Π΅ Π½Π° Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π΅ составлСнности, Π° Π½Π° самом процСссС этого составлСния, Π½ΡƒΠΆΠ½ΠΎ ΠΌΡ‹ΡΠ»ΠΈΡ‚ΡŒ сСбС Π½Π΅ΠΊΠΈΠΉ алогичСский Ρ„ΠΎΠ½, Π½Π° ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ ΠΈ Ρ€Π°Π·Π²Π΅Ρ€Ρ‚Ρ‹Π²Π°Π»Π°ΡΡŒ Π±Ρ‹ эта ΠΊΠ°Ρ€Ρ‚ΠΈΠ½Π° процСсса составлСния, Ρ‚. Π΅. Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ Π²Ρ‹Π΄Π²ΠΈΠΆΠ΅Π½ΠΈΠ΅ Π½Π° ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ ΠΏΠ»Π°Π½ ΠΌΠΎΠΌΠ΅Π½Ρ‚Π° становлСния. ΠŸΠΎΡΡ‚Π°Π²ΠΈΠ²ΡˆΠΈ Π°ΠΊΡ†Π΅Π½Ρ‚ ΠΈΠΌΠ΅Π½Π½ΠΎ Π½Π° становлСнии с, Π½Π° самый процСсс складывания Π° + bΡƒ ΠΌΡ‹ ΠΈ ΠΏΠΎΠ»ΡƒΡ‡Π°Π΅ΠΌ ΠΊΠ°Ρ‚Π΅Π³ΠΎΡ€ΠΈΡŽ арифмСтичСского слоТСния (ΠΈ, стало Π±Ρ‹Ρ‚ΡŒ, вычитания).

Π’Π°ΠΊΠΆΠ΅ ΠΌΠΎΠΆΠ½ΠΎ Π±Ρ‹Π»ΠΎ Π±Ρ‹ ΠΏΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ Ρ€Π°Π·Π΄Π΅Π»ΡŒΠ½ΠΎΠ΅ ΠΏΡ€ΠΈΠΌΠ΅Π½Π΅Π½ΠΈΠ΅ ΠΊΠ°Ρ‚Π΅Π³ΠΎΡ€ΠΈΠΈ ΠΏΠΎΠ΄Π²ΠΈΠΆΠ½ΠΎΠ³ΠΎ покоя Π΄Π°Π΅Ρ‚ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ умноТСния ΠΈ дСлСния, Π° ΠΏΡ€ΠΈΠΌΠ΅Π½Π΅Π½ΠΈΠ΅ Π½Π°[41] ΠΊΠ°Ρ‚Π΅Π³ΠΎΡ€ΠΈΠΈ опрСдСлСнности β€” ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π²ΠΎΠ·Π²Ρ‹ΡˆΠ΅Π½ΠΈΡ Π² ΡΡ‚Π΅ΠΏΠ΅Π½ΡŒ, извлСчСния корня ΠΈ логарифмирования. Однако ΠΌΡ‹ Π½Π΅ Π±ΡƒΠ΄Π΅ΠΌ Ρ‚ΡƒΡ‚ ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ΄ΠΈΡ‚ΡŒ этих Π΄Π΅Π΄ΡƒΠΊΡ†ΠΈΠΉ, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ ΠΈΠΌ посвящаСтся Π² дальнСйшСм ΡΠΏΠ΅Ρ†ΠΈΠ°Π»ΡŒΠ½Ρ‹ΠΉ ΠΎΡ‚Π΄Π΅Π» Π΄ΠΈΠ°Π»Π΅ΠΊΡ‚ΠΈΠΊΠΈ Π°Ρ€ΠΈΡ„ΠΌΠ΅Ρ‚ΠΈΠΊΠΈ; ΠΈ это Π±Ρ‹Π»ΠΎ Π±Ρ‹ ΡƒΠΆΠ΅ ΠΏΡ€Π΅Π²Ρ€Π°Ρ‰Π΅Π½ΠΈΠ΅ΠΌ аксиоматики Π² Π΄ΠΈΠ°Π»Π΅ΠΊΡ‚ΠΈΠΊΡƒ ΡƒΠΆΠ΅ Ρ€Π΅Π°Π»ΡŒΠ½ΠΎΠ³ΠΎ состава Π½Π°ΡƒΠΊΠΈ, Ρ‡Π΅Π³ΠΎ слСдуСт ΠΈΠ·Π±Π΅Π³Π°Ρ‚ΡŒ. Аксиоматика Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π΄Π°Π΅Ρ‚, ΠΊΠ°ΠΊ ΠΌΡ‹ Π³ΠΎΠ²ΠΎΡ€ΠΈΠ»ΠΈ, пСрспСктиву Π½Π° Π½Π°ΡƒΠΊΡƒ, Π° Π½Π΅ самоС содСрТаниС Π½Π°ΡƒΠΊΠΈ.

c) ΠžΠ΄Π½Π°ΠΊΠΎ ΡƒΠΆΠ΅ Ρ‚ΡƒΡ‚ ΠΌΡ‹ Π²ΠΈΠ΄ΠΈΠΌ, Ρ‡Ρ‚ΠΎ ΠΏΡ€ΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏΠ° нСпрСрывности ΠΊ аксиомам Π΅Π΄ΠΈΠ½ΠΎβ€“Ρ€Π°Π·Π΄Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ Π΄Π°Π΅Ρ‚ Π½Π°ΠΌ Π² Ρ€ΡƒΠΊΠΈ ΠΎΡ‡Π΅Π½ΡŒ Π²Π°ΠΆΠ½ΠΎΠ΅ ΠΎΡ€ΡƒΠ΄ΠΈΠ΅. ΠŸΡ€Π΅ΠΆΠ΄Π΅ всСго ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡Π°Π΅ΠΌ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ Ρ€Π°ΡΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°Ρ‚ΡŒ ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½Π½Ρ‹Π΅ ΠΊΠ°Ρ‚Π΅Π³ΠΎΡ€ΠΈΠΈ Π² ΠΈΡ… ΠΏΡ€ΠΎΡ†Π΅ΡΡΡƒΠ°Π»ΡŒΠ½ΠΎΠΌ становлСнии. ΠœΡ‹ ΠΏΠΎΠ»ΡƒΡ‡Π°Π΅ΠΌ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ ΠΎΡΡƒΡ‰Π΅ΡΡ‚Π²Π»ΡΡ‚ΡŒ ΠΊΠ°ΠΆΠ΄ΡƒΡŽ ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½Π½ΡƒΡŽ ΠΊΠ°Ρ‚Π΅Π³ΠΎΡ€ΠΈΡŽ Π² Π΅Π΅ ΠΈΠ·ΠΎΠ»ΠΈΡ€ΠΎΠ²Π°Π½Π½ΠΎΠΌ Π²ΠΈΠ΄Π΅, ΠΎΡ‚Π²Π»Π΅ΠΊΠ°ΡΡΡŒ ΠΎΡ‚ Π΅Π΅ логичСской связи с Π΄Ρ€ΡƒΠ³ΠΈΠΌΠΈ катСгориями (потому–то становлСниС ΠΈ Π΅ΡΡ‚ΡŒ алогичСский ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏ). ΠœΡ‹, Π½Π°ΠΊΠΎΠ½Π΅Ρ†, Π²ΠΏΠ΅Ρ€Π²Ρ‹Π΅ ΠΏΠΎΠ»ΡƒΡ‡Π°Π΅ΠΌ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ Π²Π·ΡΡ‚ΡŒ всС ΠΈΡ… ΠΈ вмСстС, Π² Ρ‚ΠΎ врСмя ΠΊΠ°ΠΊ Ρ€Π°Π½ΡŒΡˆΠ΅ ΠΎΠ½ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ логичСски ΠΏΡ€Π΅Π΄ΠΏΠΎΠ»Π°Π³Π°Π»ΠΈ ΠΎΠ΄Π½Π° Π΄Ρ€ΡƒΠ³ΡƒΡŽ. Π’ частности, Π½Π΅ Ρ‡Ρ‚ΠΎ ΠΈΠ½ΠΎΠ΅, ΠΊΠ°ΠΊ ΠΈΠΌΠ΅Π½Π½ΠΎ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏ нСпрСрывности ΠΈ становлСния, Π΄Π°Π΅Ρ‚ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ Ρ€Π°ΡΠΏΡ€ΠΎΡΡ‚Ρ€Π°Π½ΠΈΡ‚ΡŒ Π·Π°ΠΊΠΎΠ½Ρ‹ ассоциативности, коммутативности ΠΈ дистрибутивности Π½Π° всю сфСру арифмСтичСских чисСл. РаньшС Ρ€Π΅Ρ‡ΡŒ ΠΌΠΎΠ³Π»Π° ΠΈΠ΄Ρ‚ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΎ самих Π·Π°ΠΊΠΎΠ½Π°Ρ… ΠΊΠ°ΠΊ Ρ‚Π°ΠΊΠΎΠ²Ρ‹Ρ…, Ρ‚Π΅ΠΏΠ΅Ρ€ΡŒ Ρ€Π΅Ρ‡ΡŒ ΠΈΠ΄Π΅Ρ‚ ΠΎΠ± ΠΈΡ… всСобщСй прилоТимости, Π²Ρ‹Ρ‚Π΅ΠΊΠ°ΡŽΡ‰Π΅ΠΉ ΠΈΠ· Ρ‚ΠΎΠ³ΠΎ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ, Ρ‡Ρ‚ΠΎ Ρ‚ΡƒΡ‚ ΠΌΡ‹ ΠΈΠΌΠ΅Π΅ΠΌ Π΄Π΅Π»ΠΎ Π²ΠΎΠΎΠ±Ρ‰Π΅ с арифмСтичСским числом.

d) Π’ΠΏΡ€ΠΎΡ‡Π΅ΠΌ, Ссли Π³Π½Π°Ρ‚ΡŒΡΡ Π·Π° логичСской Ρ‚ΠΎΡ‡Π½ΠΎΡΡ‚ΡŒΡŽ ΠΈ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΡŒΡŽ, Ρ‚ΠΎ, Π² сущности говоря, Π½Π° рассматриваСмой диалСктичСской ступСни ΠΌΡ‹ Π΅Ρ‰Π΅ Π½Π΅ ΠΈΠΌΠ΅Π΅ΠΌ ΠΏΡ€Π°Π²Π° Π³ΠΎΠ²ΠΎΡ€ΠΈΡ‚ΡŒ ΠΎ Π·Π°ΠΊΠΎΠ½Π°Ρ… счСта Π² ΠΏΠΎΠ»Π½ΠΎΠΌ объСмС, хотя ΠΎΠ½ΠΈ ΡƒΠΆΠ΅ Π²Ρ‹Π²Π΅Π΄Π΅Π½Ρ‹, ΠΈ ΠΏΡ€ΠΈΡ‚ΠΎΠΌ Π΅Ρ‰Π΅ Π½Π° ΠΏΡ€Π΅Π΄Ρ‹Π΄ΡƒΡ‰Π΅ΠΉ β€” Π΅Π΄ΠΈΠ½ΠΎβ€“Ρ€Π°Π·Π΄Π΅Π»ΡŒΠ½ΠΎΠΉ ступСни. Π”Π΅Π»ΠΎ Π² Ρ‚ΠΎΠΌ, Ρ‡Ρ‚ΠΎ вся Π΅Π΄ΠΈΠ½ΠΎβ€“Ρ€Π°Π·Π΄Π΅Π»ΡŒΠ½Π°Ρ ΡΡ‚ΡƒΠΏΠ΅Π½ΡŒ Π΅ΡΡ‚ΡŒ ΡΡ‚ΡƒΠΏΠ΅Π½ΡŒ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ идСального смысла, Ссли ΠΏΠΎΠ΄ Ρ€Π΅Π°Π»ΡŒΠ½Ρ‹ΠΌ ΠΏΠΎΠ½ΠΈΠΌΠ°Ρ‚ΡŒ Π½Π΅ΠΏΡ€Π΅Ρ€Ρ‹Π²Π½ΠΎΠ΅ ΠΈΠ»ΠΈ ΠΏΡ€Π΅Ρ€Ρ‹Π²Π½ΠΎΠ΅ Π΅Π΅ осущСствлСниС. Π­Ρ‚ΠΈΠΌ ΠΌΡ‹ Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ Π²Ρ‹Π²Π΅Π»ΠΈ ΠΊΠ°ΠΊ арифмСтичСскоС дСйствиС, Ρ‚Π°ΠΊ ΠΈ Π·Π°ΠΊΠΎΠ½Ρ‹ счСта (Ρ‚.Π΅. Π·Π°ΠΊΠΎΠ½Ρ‹ ассоциативный, ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½Ρ‹ΠΉ ΠΈ дистрибутивный). Однако, согласно ΠΎΠ±Ρ‰Π΅ΠΌΡƒ ΠΈΠ΄Π΅Π°Π»ΡŒΠ½ΠΎΠΌΡƒ Ρ…Π°Ρ€Π°ΠΊΡ‚Π΅Ρ€Ρƒ сфСры Π΅Π΄ΠΈΠ½ΠΎβ€“Ρ€Π°Π·Π΄Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ, Π½ΡƒΠΆΠ½ΠΎ ΡΡ‡ΠΈΡ‚Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ Ρ‚Π°ΠΌ Π²Ρ‹Π²Π΅Π΄Π΅Π½Π° Ρ‚ΠΎΠ»ΡŒΠΊΠΎ катСгория арифмСтичСского дСйствия ΠΈ катСгория Π·Π°ΠΊΠΎΠ½ΠΎΠ² счСта. Π’Π΅ΠΏΠ΅Ρ€ΡŒ, ΠΊΠΎΠ³Π΄Π° ΠΌΡ‹ стоим Π½Π° Π±Π°Π·Π΅ нСпрСрывности, ΠΌΡ‹ ΠΌΠΎΠΆΠ΅ΠΌ ΠΏΡ€Π΅Π²Ρ€Π°Ρ‚ΠΈΡ‚ΡŒ эту ΠΎΡ‚Π²Π»Π΅Ρ‡Π΅Π½Π½ΡƒΡŽ ΠΊΠ°Ρ‚Π΅Π³ΠΎΡ€ΠΈΡŽ дСйствия ΠΈ Π·Π°ΠΊΠΎΠ½Π° счСта Π² Ρ€Π΅Π°Π»ΡŒΠ½Ρ‹Π΅ дСйствиС ΠΈ счСт. РСальноС дСйствиС прСдстаСт ΠΏΠ΅Ρ€Π΅Π΄ Π½Π°ΠΌΠΈ Π² Π²ΠΈΠ΄Π΅ многочислСнных арифмСтичСских ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ. Однако ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²ΠΈΡ‚ΡŒ сСбС Ρ‚ΡƒΡ‚ ΠΆΠ΅ Π² Ρ€Π°Π·Π²ΠΈΡ‚ΠΎΠΉ Ρ„ΠΎΡ€ΠΌΠ΅ ΠΈ Π·Π°ΠΊΠΎΠ½Ρ‹ счСта ΠΊΠ°ΠΊ всСобщС–значимыС ΠΌΡ‹ Π΅Ρ‰Π΅ Π½Π΅ ΠΌΠΎΠΆΠ΅ΠΌ, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ здСсь ΠΌΠ°Π»ΠΎ ΠΎΠ΄Π½ΠΎΠ³ΠΎ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏΠ° нСпрСрывности. Π’Π΅Π΄ΡŒ послСдний гласит Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΎ Π½Π΅ΠΏΡ€Π΅Ρ€Ρ‹Π²Π½ΠΎΠΌ слСдовании ΠΈ Ρ€Π°Π²Π½ΠΎΠΌΠ΅Ρ€Π½ΠΎΠΌ Ρ€Π°Π·Π²Π΅Ρ€Ρ‚Ρ‹Π²Π°Π½ΠΈΠΈ идСальной, Π΅Π΄ΠΈΠ½ΠΎβ€“Ρ€Π°Π·Π΄Π΅Π»ΡŒΠ½ΠΎΠΉ структуры, Π½ΠΎ Π΅Ρ‰Π΅ Π½ΠΈΡ‡Π΅Π³ΠΎ Π½Π΅ Π³ΠΎΠ²ΠΎΡ€ΠΈΡ‚ ΠΎ ΠΊΠΎΠΌΠ±ΠΈΠ½ΠΈΡ€ΡƒΡŽΡ‰ΠΈΡ… функциях этой нСпрСрывности. Для Ρ‚ΠΎΠ³ΠΎ Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΡΠΊΠ»Π°Π΄Ρ‹Π²Π°Ρ‚ΡŒ, ΡƒΠΌΠ½ΠΎΠΆΠ°Ρ‚ΡŒ ΠΈ ΠΏΡ€., Π½ΡƒΠΆΠ½ΠΎ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π·Π½Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ счСт ΠΊΠ°ΠΊ идСальная Π·Π½Π°Ρ‡ΠΈΠΌΠΎΡΡ‚ΡŒ, Ρ‚.Π΅. попросту счСт ΠΊΠ°ΠΊ ΠΏΠ΅Ρ€Π΅Π±Π΅Π³Π°Π½ΠΈΠ΅ ΠΏΠΎ Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½ΠΎΠΌΡƒ ряду чисСл, зависит Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΎΡ‚ своих количСствСнных Π·Π°Π΄Π°Π½ΠΈΠΉ ΠΈ Ρ‡Ρ‚ΠΎ самая эта опСрация Ρ€ΠΎΠ²Π½ΠΎ Π½ΠΈΡ‡Π΅Π³ΠΎ ΠΎΡ‚ сСбя Π½Π΅ привносит Π² эти послСдниС. Π­Ρ‚ΠΎ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΈ содСрТится Π² арифмСтичСской аксиомС Π΅Π΄ΠΈΠ½ΠΎβ€“Ρ€Π°Π·Π΄Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ, ΠΈ это с привнСсСниСм ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏΠ° нСпрСрывности развСтвляСтся Π½Π° ΠΎΡ‚Π΄Π΅Π»ΡŒΠ½Ρ‹Π΅ Ρ‚ΠΈΠΏΡ‹ арифмСтичСских ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ. Когда ΠΆΠ΅ ставится вопрос ΠΎ Π·Π°ΠΊΠΎΠ½Π°Ρ… счСта (Π² смыслС ассоциативности, коммутативности ΠΈ дистрибутивности), Ρ‚ΠΎ Ρ‚ΡƒΡ‚ Π½Π°Π΄ΠΎ ΠΊΡ€ΠΎΠΌΠ΅ этого Π΅Ρ‰Π΅ Π±Ρ‹Ρ‚ΡŒ ΡƒΠ²Π΅Ρ€Π΅Π½Π½Ρ‹ΠΌ, Ρ‡Ρ‚ΠΎ Π½Π΅ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ самая опСрация Π½Π΅ привнСсСт Π½ΠΈΡ‡Π΅Π³ΠΎ Π½ΠΎΠ²ΠΎΠ³ΠΎ Π² сравнСнии со своими количСствСнными заданиями, Π½ΠΎ Π½ΠΈΡ‡Π΅Π³ΠΎ Π½ΠΎΠ²ΠΎΠ³ΠΎ Π½Π΅ привнСсСт ΠΈ Ρ‚ΠΎΡ‚ самый Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹ΠΉ ряд чисСл, ΠΏΡƒΡ‚Π΅ΠΌ пробСгания ΠΏΠΎ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌΡƒ Π²ΠΏΠ΅Ρ€Π΅Π΄ ΠΈ Π½Π°Π·Π°Π΄ ΠΌΡ‹ осущСствляСм Π΄Π°Π½Π½ΡƒΡŽ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΡŽ. ПозТС (Β§ 65) ΠΌΡ‹ ΡƒΠ²ΠΈΠ΄ΠΈΠΌ, Ρ‡Ρ‚ΠΎ эта ΡƒΠ²Π΅Ρ€Π΅Π½Π½ΠΎΡΡ‚ΡŒ Π²ΠΎΠ·Π½ΠΈΠΊΠ°Π΅Ρ‚ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π½Π° основС аксиомы конгруэнтности> которая Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π²ΠΏΠ΅Ρ€Π²Ρ‹Π΅ ΠΈ обСспСчиваСт ΠΏΠΎΠ»Π½ΠΎΠ΅ ΠΈ Π±Π΅Π·Ρ€Π°Π·Π»ΠΈΡ‡Π½ΠΎΠ΅ осущСствлСниС ΠΈ использованиС Π² Π°Ρ€ΠΈΡ„ΠΌΠ΅Ρ‚ΠΈΠΊΠ΅ Π·Π°ΠΊΠΎΠ½ΠΎΠ² счСта, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅, ΠΎΠ΄Π½Π°ΠΊΠΎ, Π² Π²ΠΈΠ΄Π΅ идСальной ΠΈ ΠΎΡ‚Π²Π»Π΅Ρ‡Π΅Π½Π½ΠΎΠΉ структуры Π²Ρ‹Π²Π΅Π΄Π΅Π½Ρ‹ ΡƒΠΆΠ΅ Π½Π° ступСни Π΅Π΄ΠΈΠ½ΠΎβ€“Ρ€Π°Π·Π΄Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ.

3. Π”Π°Π»Π΅Π΅, Π² Π³Π΅ΠΎΠΌΠ΅Ρ‚Ρ€ΠΈΠΈ ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡Π°Π΅ΠΌ, ΠΎΡ‡Π΅Π²ΠΈΠ΄Π½ΠΎ, Ρ€Π°Π·Π½Ρ‹Π΅ Ρ„ΠΈΠ³ΡƒΡ€Ρ‹, ΠΎΠ±Ρ€Π°Π·Π΅Ρ† вывСдСния ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π΄Π°Π½ Π²Ρ‹ΡˆΠ΅, Π² Β§ 55. Если Ρ‚Π°ΠΌ Π±Ρ‹Π»Π° Π΄Π°Π½Π° ΠΈ общая дСдукция Ρ„ΠΈΠ³ΡƒΡ€Ρ‹, Ρ‚ΠΎ здСсь Π²Π²ΠΈΠ΄Ρƒ наличия Ρ€Π΅Π°Π»ΡŒΠ½ΠΎΠ³ΠΎ ΠΊΠΎΠ½Ρ‚ΠΈΠ½ΡƒΡƒΠΌΠ° Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ Π³ΠΎΠ²ΠΎΡ€ΠΈΡ‚ΡŒ ΡƒΠΆΠ΅ ΠΎΠ± ΠΈΡ… осущСствлСнии, Π² Ρ‚ΠΎ врСмя ΠΊΠ°ΠΊ ΠΏΡ€ΠΎΡ‡ΠΈΠ΅ ΠΊΠ°Ρ‚Π΅Π³ΠΎΡ€ΠΈΠΈ (конгруэнтности, ΠΌΠ΅Ρ‚Ρ€ΠΈΠΊΠΈ ΠΈ ΠΏΡ€.) Π² дальнСйшСм Π΅Ρ‰Π΅ Π±ΠΎΠ»Π΅Π΅ ΡΠΏΠ΅Ρ†ΠΈΠ°Π»ΠΈΠ·ΠΈΡ€ΡƒΡŽΡ‚ Ρƒ нас нашС гСомСтричСскоС построСниС.

4. Π’ Ρ‚Π΅ΠΎΡ€ΠΈΠΈ мноТСств соотвСтствСнно ΠΌΡ‹ Π½Π°Ρ…ΠΎΠ΄ΠΈΠΌ ΡƒΡ‡Π΅Π½ΠΈΠ΅ ΠΎΠ± искомых опСрациях, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅, ΠΊΠ°ΠΊ это ΠΈ Π΄ΠΎΠ»ΠΆΠ½ΠΎ Π±Ρ‹Ρ‚ΡŒ, Π²ΠΏΠΎΠ»Π½Π΅ спСцифичны, ΠΊΠ°ΠΊ спСцифичны ΠΈ способы построСния гСомСтричСских Ρ„ΠΈΠ³ΡƒΡ€, хотя, Π² сущности, это Π΅ΡΡ‚ΡŒ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ разная комбинация Π½Π° основС нСпрСрывности всС Ρ‚Π°ΠΊ ΠΆΠ΅ основных ΠΊΠ°Ρ‚Π΅Π³ΠΎΡ€ΠΈΠΉ идСальной Π΅Π΄ΠΈΠ½ΠΎβ€“Ρ€Π°Π·Π΄Π΅Π»ΡŒβ€“Π½ΠΎΡΡ‚ΠΈ.

a) Π’Π°ΠΊ Ρ‡Ρ‚ΠΎ понимаСтся Π² Ρ‚Π΅ΠΎΡ€ΠΈΠΈ мноТСств ΠΏΠΎΠ΄ слоТСниСм! Π­Ρ‚ΠΎ такая опСрация, Π² Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π΅ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ 1) ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт ΠΈΠ· Π½ΠΎΠ²ΠΎΠ³ΠΎ мноТСства ( = ΠΈΠ· суммы) ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ‚ ΠΊΠ°ΠΊΠΎΠΌΡƒβ€“Π½ΠΈΠ±ΡƒΠ΄ΡŒ ΠΈΠ· слагаСмых мноТСств ΠΈ 2) всякий элСмСнт любого слагаСмого мноТСства ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ‚ Π½ΠΎΠ²ΠΎΠΌΡƒ мноТСству. Π‘ΡƒΠΌΠΌΠ° Ρ‚ΡƒΡ‚ Π΅ΡΡ‚ΡŒ СдинствСнноС Π²ΠΏΠΎΠ»Π½Π΅ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½Π½ΠΎΠ΅ мноТСство. Надо строго Ρ€Π°Π·Π»ΠΈΡ‡Π°Ρ‚ΡŒ мноТСство самих слагаСмых ΠΈ мноТСство ΠΈΡ… элСмСнтов. Π­Π»Π΅ΠΌΠ΅Π½Ρ‚ слагаСмого Π΅ΡΡ‚ΡŒ элСмСнт ΠΈ суммы, Π½ΠΎ само слагаСмоС Π½Π΅ Π΅ΡΡ‚ΡŒ элСмСнт суммы, Π° Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π΅Π³ΠΎ Ρ‡Π°ΡΡ‚ΡŒ (ΠΏΠΎΡ‚ΠΎΠΌΡƒ Ρ‡Ρ‚ΠΎ ΠΎΠ΄Π½ΠΎ мноТСство Π΅ΡΡ‚ΡŒ Ρ‡Π°ΡΡ‚ΡŒ Π΄Ρ€ΡƒΠ³ΠΎΠ³ΠΎ, Ссли всС Π΅Π³ΠΎ элСмСнты ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‚ ΠΊ этому послСднСму). Π’ связи с этим Π½Π°Π΄ΠΎ Ρ‚ΠΎΡ‡Π½Π΅ΠΉΡˆΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ сСбС ΡƒΡΡΠ½ΠΈΡ‚ΡŒ, Ρ‡Ρ‚ΠΎ мноТСство Π½ΠΈ Π² ΠΊΠΎΠ΅ΠΌ случаС Π½Π΅ Π΅ΡΡ‚ΡŒ сумма своих элСмСнтов. ΠŸΡ€Π΅Π΄ΡΡ‚Π°Π²Π»Π΅Π½ΠΈΠ΅ ΠΎ мноТСствС ΠΊΠ°ΠΊ суммС Π²ΠΎΠ·Π½ΠΈΠΊΠ°Π΅Ρ‚ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΏΡ€ΠΈ условии наличия слагаСмых ΠΊΠ°ΠΊ мноТСств, Ρ‚Π°ΠΊ Ρ‡Ρ‚ΠΎ сумма Π΅ΡΡ‚ΡŒ всСгда сумма мноТСств, Π° Π½Π΅ сумма элСмСнтов, ΠΈΠ»ΠΈ, ΠΈΠ½Π°Ρ‡Π΅, мноТСство Π΅ΡΡ‚ΡŒ сумма всСх Π»ΡŽΠ±Ρ‹Ρ… мноТСств ΠΈΠ· Π΅Π³ΠΎ элСмСнтов (особоС мноТСство—то, ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ состоит Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΈΠ· ΠΎΠ΄Π½ΠΎΠ³ΠΎ элСмСнта). ΠŸΡ€ΠΈ Β«Π½ΡƒΠ»Π΅Π²ΠΎΠΉ ино–бытийности» арифмСтичСского числа эти свойства слоТСния Π½Π΅ Π±Ρ‹Π»ΠΈ Ρ‚Π°ΠΊ ярко Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½Ρ‹ Π² Π°Ρ€ΠΈΡ„ΠΌΠ΅Ρ‚ΠΈΠΊΠ΅. Π’ Ρ‚Π΅ΠΎΡ€ΠΈΠΈ ΠΆΠ΅ мноТСств, которая вся строится Π½Π° ΠΈΠ΄Π΅Π΅ спСцифичСского порядка, Ρ€Π°Π·Π»ΠΈΡ‡ΠΈΠ΅ ΠΌΠ΅ΠΆΠ΄Ρƒ элСмСнтом ΠΈ Ρ‡Π°ΡΡ‚ΡŒΡŽ ΠΎΠ±Π»Π°Π΄Π°Π΅Ρ‚ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏΠΈΠ°Π»ΡŒΠ½Ρ‹ΠΌ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ΠΌ Π΄Π°ΠΆΠ΅ Π² Ρ‚Π°ΠΊΠΎΠΉ ΠΏΡ€ΠΎΡΡ‚Π΅ΠΉΡˆΠ΅ΠΉ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ, ΠΊΠ°ΠΊ слоТСниС. ΠšΠ°Ρ‚Π΅Π³ΠΎΡ€ΠΈΡ самотоТдСствСнного различия Π΄Π°Π½Π° Ρ‚ΡƒΡ‚ Π±ΠΎΠ»Π΅Π΅ Π²Ρ‹ΠΏΡƒΠΊΠ»ΠΎ ΠΏΠΎΡ‚ΠΎΠΌΡƒ, Ρ‡Ρ‚ΠΎ ΠΎΠ½Π° осущСствлСна Π½Π° ΠΌΠ°Ρ‚Π΅Ρ€ΠΈΠ°Π»Π΅ ΠΊΠΎΠ½Ρ‚ΠΈΠ½ΡƒΡƒΠΌΠ°, хотя ΠΊΠΎΠ½Ρ‚ΠΈΠ½ΡƒΡƒΠΌ Ρ‚ΡƒΡ‚ ΠΈ Π²ΠΎΠ±Ρ€Π°Π½ Π² само число ΠΈ Π²Π½ΡƒΡ‚Ρ€Π΅Π½Π½ΠΎ отоТдСствлСн с Π½ΠΈΠΌ (Ρ‡Ρ‚ΠΎ ΠΈ ΠΏΠΎΡ€ΠΎΠ΄ΠΈΠ»ΠΎ собою, ΠΊΠ°ΠΊ ΠΌΡ‹ Π·Π½Π°Π΅ΠΌ, ΡΠ°ΠΌΡƒΡŽ ΠΊΠ°Ρ‚Π΅Π³ΠΎΡ€ΠΈΡŽ мноТСства).