집합과공리계의구성 construction of sets and axiomatic system 이백현 Baekhyun Lee ( 연락처 Contact)baekhyunlee@hanmail.net
목차 Ⅰ. 서론 초록 (introduction and abstract) 3p Ⅱ. 집합과공리계구성하기 2.1 공리로폰노이만전체구성하기 4p 2.2 공리를집합으로다루기 5p 2.3 위상과명제를통해공리집합의구성요건알아내기 9p Ⅲ. 결론 14p 참고문헌 15p - 2 -
Ⅰ. 서론 초록 (introduction and abstract) 이백현 Baekhyun Lee 한국어 이논문은집합개념을몇가지의공리로구성가능한것과, 그공리들또한집합으로다룰 수있다는것을밝히기위해작성되었습니다. English This paper is written to show that concept of sets can be constructed with a few axioms, and also the axioms can be treated as a set. - 3 -
Ⅱ. 집합과공리계구성하기 2.1 공리로폰노이만전체구성 우선집합을몇개의공리를통해구성해보려고한다. 모든집합을구성하기이전에, 우선공 집합과공집합의멱집합, 그리고공집합의멱집합의멱집합, 으로구성된 V( 폰노이만전체 ) ⁰) 을구성해보자. 이는다음과같은공리들로가능하다. 공집합 은존재한다. 임의의집합 n에대해, n을원소로하는집합이존재한다. 임의의집합 A, B에대해 A, B의원소를모두원소로가지는집합이존재한다. 공집합외에원소가없는집합은존재하지않는다. 임의의집합 A, B에대해, 두집합이같은원소를가진다면두집합은같다. V의부분집합 X에대해, X이고, X의임의의집합 n, m에대하여 {n} X, {m} X이고, (n m) X인 X는 V이다. 두번째공리를통해, { }, {{ }}, {{{ }}}, 이가능하며 세번째, 합집합공리를통해 {,{ }}, {{{ }},{,{ }}}, 등이가능함을알수있다. 따라서 공집합의멱집합군 {,{ },{{ }},{,{ }}, }=V 이구성가능하다. * 멱집합군은어떤집합 n 에대해 n 의멱집합의멱집합의멱집합의멱집합 을무한번반복했을때 구성가능한집합이라고잠시약속하자. V 를집합으로다루는것에대해서는 러셀의역설 과관련해 후술하겠다. 이는페아노공리계 ¹) 의방법론을참고했으며다섯번째공리는 ZFC 공리계 ²) 의외연공리를그대로가져왔다. 한편 {, { }, {{ }}, {, { }},...}=V의부분집합 {, { }, {{ }}, {, { }}} 에서재밌는점을발견할수있는데, 이집합은 ZFC 공리계에서구성가능한집합임에도원소 {, { }} 는자신의멱집합인앞선집합과서로소가아니다. 즉정칙성공리혹은기초공리라고불리는공리는 ZFC 공리계에서모순을일으킨다. - 4 -
2.2 공리를집합으로다루기 공집합의가능한모든멱집합군 V 을구성했으니, 이외의집합을구성하기위해서는 V 에무언 가를추가해야한다. 그것에무엇을추가할수있을까. 가능하면이미존재하는도구를사용 하기위해다음과같이생각해보자. 공집합은존재한다.= ㄱ임의의집합 n에대해, n을원소로하는집합이존재한다.= ㄴ임의의집합 A, B에대해그집합들의원소를모두원소로가지는집합이존재한다.= ㄷ공집합외에원소가없는집합은존재하지않는다.= ㄹ임의의집합 A, B에대해, 두집합이같은원소를가진다면두집합은같다.= ㅁ V의부분집합 X에대해, X이고, X의임의의집합 n, m에대하여 {n} X, {m} X이고, (n m) X인 X는 V이다.= ㅂ 이렇게하면집합 { ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ } 는가능한가? 기존집합들의정의를생각하면쉽게가능할것같지만사실은불가능하다. ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ는공리계를구성하고있으며공리계에의해구성된집합개념은 {, { }, {{ }}, {, { }},..., } 안에서만적용가능한개념이다. 또한ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ명제들은스스로구성한논의영역의모든집합 V 안에존재하지않기때문에 V 내에서원소가될수없다. 여기서공리모임ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ와 V은굉장히독특한관계다. ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ는 V과분명히관계가있지만 V의원소는아니며, V으로부터귀납적으로추론해낼수는있지만 V이존재한다는사실으로부터ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ를연역적으로도출해낼수는없다. ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ는 V의논리적귀결이아니며증명도불가능하다. 한편ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ는적절한공리가추가된다면충분히집합으로다룰수있을것으로보인다. 따라서ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ를집합으로다룰수있도록, 해당공리들을원소로가질수있도록, 이미구축한공리계와는다른위상의공리계를새로구축해보자. 일단집합이필요하니공리모임ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ를다시가져오자. 유의해야할점이한가지있는데, 지금구축하는공리계는이미구축한공리계와는다른위상에있으며별도의논의영역, 이미구축한공리를대상으로하는논의영역을가진다는점이다. 편의상 V이구성된위상을위상 A, 그리고공리모임ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ가존재하는위상을위상 B라고정의하자. 먼저할일은일단ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ로 B위상에집합개념과 V을다시만들어내는것이다. 해당위상에집합개념을구성하기위해서는우선ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ를별도의위상C에서다시공리로구축해야한다. 먼저위상 A와위상 B의상태를다시표현해보자. [ 위상 A 에구성된것 ] {, { }, {{ }}, {, { }},...}=V - 5 -
다시표현하면, 현재위상 A 에존재하는모든것들의집합은 V 이며, V 은존재한다. [ 위상 B 에있는것 ] ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ 다시표현하면, 위상 B 에는ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ가존재한다. 이제위상 C 에서공리를구축해위상 B 에집합개념을구축하자. 위상 B에서ㄱ위상 B에서ㄴ위상 B에서ㄷ위상 B에서ㄹ위성 B에서ㅁ위상 B에서ㅂ 이제위상 B에서 V과집합개념을사용할수있다. 다시말하면위상 B에 V이구성되었다. 여기서알수있는사실은, 사실처음에사용했던ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ의앞에는 ' 위상 A에서 ' 라는말이생략되었다는것이다. 여기에명제ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ를위상 B에서집합으로표현하기위해서는다음과같은명제들을위상 C에추가해야한다. { ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ } 는존재한다. 이이외의별도의공리가필요없는이유는, V을구축할때공집합에서파생가능한모든멱집합을함께구축했고, 멱집합이존재는곧부분집합의존재를의미하기때문이다. 한편ㄴ =' 임의의집합 n에대해, n을원소로하는집합이존재한다.' 에서, 공집합을제외한 n 에대해 n의원소가존재함을알수있다.( 동치 ) 따라서 { ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ } 가 ( 위상 B에 ) 존재하면ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ도 ( 위상 B에 ) 각각존재한다. 이제원한다면이제페아노공리계든, 다른구성가능한체계든무리없이위상 B에넣을수있다. 위상 C에페아노공리계의공리들을두면위상 B에자연수가포섭된다. { ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ } 를공리집합 H라고부르면, 공리집합 H의멱집합군도 B 공리계에서성립한다. 이제위상 C, B, A를각각살펴보자. [ 위상 C 에있는것 ] ( 위상 B 에서 ) ㄱ ㄴ ㄷ - 6 -
ㄹㅁㅂ H={ ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ } 는존재한다. 위의명제들이위상 C 에존재한다. [ 위상 B 에구성된것 ] V 을포함한 H={ ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ } 의멱집합군 이때 H 의멱집합군은위상 B 에존재하는모든것들의집합이다. [ 위상 A 에구성된것 ] {, { }, {{ }}, {, { }},...}=V 다시말하면위상 A 에 V 이존재한다. 한가지언급해두자면, 위상 B와위상 A의모든집합에대해각각의원소들은실제로구성되었으며, 하나도빠짐없이 ( 각위상에 ) 존재한다. 위로부터알수있는사실은, 위상 A에구축한뒤위상 B에집합공리H를도입하고, 위상 B 에대해서위상 C에 H 공리를도입해도모순이일어나지않으며, 첫위상 A에아무런영향을주지않는다는점이다. 수학적귀납법을통해각각의위상에대해다음과같은사실을증명할수있다. 위상 B에공리집합 H를도입함으로써위상 A에 V을만들어낼수있다. 위상 C에공리집합 H를도입함으로써위상 B에 V을포함한위상B의모든것의집합을만들수있다.... 위상Xn( 위상 Xn은위상 A에서 n-1번째다음위상이며 n은자연수 ) 에공리집합 H를도입함으로써위상Xn-1에 V을포함한위상Xn-1의모든것의집합을만들수있다. 따라서다음과같이정리할수있다. 임의의위상 Xn에대해 Xn에집합을구성할수있는공리집합 H가항상위상 Xn+1에존재할수있다. 임의의위상 Xn에대해공리집합 H를도입하면위상 Xn-1에서항상집합체계를사용가능하며존재하는모든것의집합을구성할수있다. 하위위상에이미집합이구성되었다면, 그상위위상에계속공리집합 H를도입해도하위위상에아무런영향을미치지않는다는것을알수있으므로상위위상에무한번공리집합H 을도입해도모순이발생하지않는다. 어떤위상에관해 ' 모든것의집합 ' 이구성가능하다는점에서러셀의역설 ³) 을떠올릴수도있 - 7 -
다. 러셀이제기한문제를위에서구축한공리계로조금더엄밀하게표현하면, ' 위상 B의모든집합 {X X는 H의가능한모든멱집합군 } 에서 'X는 H의가능한모든멱집합군 ' 이라는규칙이위상 B의모든집합 {X X는 H의가능한모든멱집합군 } 에존재하는가?' 로규정할수있다. 당연히규칙 'X는 H의가능한모든멱집합군 ' 은해당집합의원소가아니다. (X 는 H 의가능한모든멱집합군 ) {X X 는 H 의가능한모든멱집합군 } 그런규칙이위상 B 에존재하려면, 상위위상 ( 위상 C) 에해당규칙이존재할수있는공리를 도입해야한다. - 8 -
2.3 위상과명제를통해공리집합의구성요건알아내기 공리집합 H로돌아가보자. H의원소ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ는사실엄밀하게따지면위상 B에서는부정의용어인상태다.( 위상 C에서공리집합 H의원소들의관계를규정한바없는상태 ) 즉, 진짜공리계를구성하려면ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ사이의관계를공리적관계로만들어야한다고추측할수있는데, 이때의문이발생한다. ' 공리적관계란무엇인가.' 이때우리는괴델에게도움을받아몇가지조건을추측할수있다.( 공리집합을구성할수있는공리집합이있다면위상 B에서는불가능하다. 이런공리집합은위상 C이상에서만구성할수있다. 그리고아직공리집합을구성하는방법은밝혀진바없으므로추측해야한다.) 괴델의불완전성정리⁴) 을압축하면 ' 어떤공리체계가무모순이면, 그체계에서는참이면서도증명할수없는명제가적어도하나이상존재한다.' ' 그공리체계는자기자신의무모순에대한정리를포함할수없다.' 이다. 후자를여태구축한개념들로해석하면 ' 임의의공리집합X에대해, X는자신의무모순성을증명하는공리를원소로가질수없다 ' 이다. 그런데이미구성해놓은위상들을봤을때, 위상 A에존재하는것을규정한명제들은위상 B에존재하고, 위상 B에존재하는것을규정한명제들은위상 C에존재한다. 어떠한공리집합도이미자기자신의무모순성을해당집합의명제들로증명할수없다. 이는위상 Xn에존재하는어떤명제 X 의논의영역이항상위상 Xn-1에존재한다는것을의미한다. 한편아까공리집합 H 와집합 V 에대해특이한사실을언급했었다. ' 여기서공리모임ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ와 V은굉장히독특한관계다. ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ는 V과분명히관계가있지만 V의원소는아니며, V으로부터귀납적으로추론해낼수는있지만 V이존재한다는사실으로부터ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ를연역적으로도출해낼수는없다. ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ는 V의논리적귀결이아니며증명도불가능하다.' 이는위상 A 의 V 으로부터위상 B 의공리집합 H 를온전히도출하는게불가능하다는것을의 미한다. 단지귀납법을통한추측만이가능하다는의미다. 이제앞서언급한불완전성정리의앞부분을해석하면, ' 공리집합의원소들사이에모순이없다면, 참이면서도증명할수없는원소 ( 명제 ) 가하나이상존재한다 ' 이다. 이때우리는모든공리집합의원소가명제임을귀납적으로추측할수있다. 이때공리집합에서참인지거짓인지증명할수없는원소 ( 명제 ) 가있느냐는문제에대해서는대답할수있는데, 예를들면아까구축한위상 B 내의공리집합원소ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ명제들은논의영역을 C로두고있으므로, 위상 B 내에서는ㄱ, ㄴ, ㄷ, ㄹ, ㅁ, ㅂ명제의참, 거짓을판별할수없다. ( 한편이미위상 A에 V이구성되었으므로, 위상 A에 V이있다고말할수있다. 따라서공리집합 H의공리들은참이라고말할수있다. 이는불완전성정리와모순되지않는다.) 따라서공리집합을규정하는공리집합 L( 집합개념을상위위상에무한도입하면공리집합을 - 9 -
구성하는공리들을집합으로다룰수있다 ) 에대하여, L 이임의의위상 Xn 에위치한다고했을 때 L 의원소중하나는다음과같다. ' 위상 Xn-1 에서위상 Xn-2 의존재를지시체로삼는명제가존재한다 '= ㅌ 한편공리계 ( 임의의공리집합이구성한, 공리집합이위치한위상보다한단계아래위상에존 재하는모든것의집합 ) 를구성할때, 공리들 ( 공리집합의원소들 ) 간에모순이없어야공리계 를제대로구성할수있다. * 모순이란, 임의의명제 p, q에대해 p와 q가동시에참이면, p, q의논의영역이같은위상일수없을때를말한다. 예 ) 어떤위상에존재하는 '( 해당위상에 ) 아무것도존재하지않는다 ' 와 '( 해당위상에 ) 사람이존재한다 ' 라는두명제가동시에참이면, 해당명제들은같은위상을논의영역으로둘수없다. 모순이있으면임의의공리 p, q 로하나의공리계를구축할수없다. 따라서공집합이아닌 공리계를구성하려면공리들사이에모순이없어야한다고추측할수있다. 따라서공리집합을구성하는공리집합 L 의원소에는다음과같은명제도포함된다. ' 임의의명제 p 에대해, p 와무모순관계인 q 가존재한다.'= ㅍ 여기까지했는데한가지오류가파악됐다. 명제의존재를주장하려면우선위상Xn이구성되어야하기때문이다. 한편위상을구성할수있다면, 위상을구성하는명제들이존재하는메타위상도있다고말할수있다. 일단 ' 위상 Xn-1에서위상 Xn-2를논의영역으로삼는명제가존재한다 ', 고말하려면위상간의관계를정의해야하기때문에, 이를이미있는도구들을통해귀납적으로정의해보자. 이미어떠한위상공간에도집합이존재할수있음을확인했으므로, 위상내의모든것의집합이 인공위상이존재한다, 고말할수있을것이다. ( 모든것을집합안에넣으면공집합으로표현할수있다는것뿐이지, 해당위상에공집합이존재하는것은아니다.) 공위상은존재한다. 임의의위상Xn에대해, 이위상에집합을발생시키는, 공리집합 H가존재할수있는위상 Xn+1이존재한다. 어떤위상 Xa와 Xb에대해, Xa=Xb이라면 Xa+1=Xb+1다. 공위상에는아무것도존재하지않는다. 임의의위상집합 Y에대해, 공위상이집합 Y의원소이고, 임의의위상 Xn에대해 Xn+1도집합 Y의원소이면집합 Y는공위상의상위위상들의집합 W로정의할수있다. 집합 W가존재하는위상을이제메타위상A라고부르자. 그리고메타위상을발생시키는위공리가존재하는위상을메타위상 B라고부르면되겠다. 그렇다면메타위상 A와메타위상 B는위상일까, 아닐까? 메타위상A가위상이라고하면곧바로러셀의역설이발생한다. 그런데메타위상 A와메타위상 B를정의하려면메타 메타위상 에서가능하므로, 현재시점에서메타위상 A와메타위상 B는서로간의관계가정의된바없다. 메타 ' 메타위상 ' 에서공리를구축하더 - 10 -
라도이는메타위상의구성과관련이있으며, 위상과는관련이없다. 한편어떤위상에공리집합을구성하려면, ㅌ와ㅍ를동시에만족해야공리집합을구성할수 있다고추측할수있다. 그런데과연ㅌ, ㅍ은 ( 위상집합 W 내의임의의위상 Xn 내에 ) 공리집합 이존재하기위한필요충분조건일까? 이를알려면우선ㅎ =' 임의의위상 Xn에위상 Xn-1을논의영역으로삼는명제가존재한다 ' 라고말하기이전에, 먼저명제의존재부터정의해야한다. 명제를정의하기위해다음과같은공리들을생각해보았다. 우리는공집합으로부터위와같은개념들을구성했으므로, 명제도비슷한방법들로구축할수있을것이다. 위상 Xn에존재하는가능한모든명제들의집합을 M하자. 공위상을논의영역으로삼는 ( 위상 Xn-1 의아무것도지시체로삼지않는 ) 공명제가 M 의원소에존재 한다.= ㅅ *( 예 ) 위상 Xn-1 에는아무것도존재하지않는다. 임의의명제 p에대해, (p의지시체의개수 )+1개의지시체를위상Xn-1에서가지는모든명제 q도 M의원소다.= ㅇ공명제의지시체개수는 0이다.= ㅈ임의의명제 p, q에대해, p와 q이 (p의지시체 )=(q의지시체 ) 이면 p=q이다.= ㅊ *( 예 ) ( 위상 Xn-1 에서 ) 1 은존재한다 =( 위상 Xn-1 에서 ) 일은존재한다 =( 위상 Xn-1 에서 ) One 은존재한다. 전체명제집합 M 의부분집합 X 에대해, ( 공명제 ) X 이고, 임의의 o X 에대해 (o 의지시체의개수 +1) 개의지시체를가진모든 p 에대해서도 p X 이면, X=M 이다.= ㅋ 이때지시체란위상 Xn-1 에존재하는집합이다. 예를들면 대한민국의도시들중수도는서 울이다 고했을때, ( 해당위상에서 ) {x x 는대한민국의도시들 } 와 {x x 는대한민국의수도 } 의교집합은 {x x 는서울 } 이라는뜻이다. 이때지시체는 3 개라고할수있다. 이제한위상에존재하는모든명제집합을정의할수있게됐다.( 구성됐다고하기는어렵다.) 이제 { ㅅ, ㅇ, ㅈ, ㅊ, ㅋ } 를공리집합라고 J 하자. 명제를정의하는공리집합를 J 아까구성한위상 C에도입하면위상 B에서명제들을다룰수있게된다. 따라서부정의용어가아닌공리집합 H를통해위상 A에 V를구성할수있다. 한편위상 A에도명제개념을도입가능하므로위상 A의하부위상도구성가능하다. 따라서공리집합를 J 상위, 하위위상에무한번구성하고, 공리집합 H 또한상위, 하위위상에무한번구성하면모든위상에서집합과명제개념을사용할수있다. 자이제위상, 집합, 명제가정의되었으므로, 어떤위상에있는명제들중일부를공리집합으 로규정하려면그위상에있는모든명제들중특정한몇가지를골라내는규칙을만들기만 하면된다. - 11 -
이를테면 {x x는공리집합을구성하는명제 } 다. 이때 'x는공리집합을구성하는명제 ' 라는문장은사실 ' 공리집합을구성하는명제 x가존재한다 ' 와동치인데, {x x는공리집합을구성하는명제 } 라는집합이위상 Xn에있을때, ' 공리집합을구성하는명제 X가존재한다.' 라는명제는위상 Xn+1에존재하니헷갈리면안된다. 물론위상 Xn에도동일한명제가존재할수있지만, 위상 Xn과 Xn+1의명제는서로다르게취급되어야한다. {x x는공리집합을구성하는명제 } 라고했을때, 'X는공리집합을구성하는명제 ' 라는규칙 ( 명제 ) 이상위위상에추가되었다고보아야한다. 자이제 ' 임의의명제 p에대해, p와무모순관계인 q가존재한다.'= ㅍ로돌아와보자. 명제 p, q가서로무모순이기만하면공리집합을구성할수있을까? 그런데공위상의경우, '( 해당위상에 ) 아무것도존재하지않는다 ' 라는공명제만으로도공위상을구성할수있다. 즉해당위상에명제개념이존재하기만한다면, 하위위상에공리하나로도위상을구성할수있다. 한편아까구축했던위상 B에공명제를도입하면, 위상 B의하위에위상 A와는다른 ( 위상 A에는집합이존재하므로 ) 새로운위상 A' 가존재하게된다. 이로부터어떤위상 Xn에대해 Xn-1에해당하는위상을무한개구성할수있음을알수있다. 즉, 모순된명제가같은위상에존재하면, 해당위상의하위위상계에서로다른위상을만들게된다. 한편같은위상에존재하는명제 A, B가서로무모순이면 A, B는공리집합을구성할수있을가능성이존재한다. 그러나다음과같은명제로구성된집합이공리집합일까? p='1 이존재한다.' q='2 가존재한다.' 언뜻보면 p, q가무모순할뿐더러아무런문제도없어보인다. 그러나 1, 2의서로간의관계가규정되지않았으므로 1과 2는서로에게아무런의미도없다. 1, 2가서로다른위상에존재하는것이나다름없는상태인데, '2 이상의수만존재한다 ', '1 이하의수만존재한다 ' 라는명제를각각추가하면실제로다른위상으로분리되어버린다. 따라서공리집합을구성하기위해서는, 공리집합의원소들사이가무모순해야하고, 공리들이규정하는대상들간의관계가규정되어야한다. 이를테면이렇다. p='1 이존재한다.' q=' 임의의 n 에대해 n+1 이존재한다.' 즉명제두개만으로도공리계가구성된다. 이때페아노공리계와다른점은, 1 이나그다음 수나유일하지않다는점이다. 예를들면 1,1,1,1,1,2,2,2,2,2,2,3,3,3,3,3 이해당공리계에존 재할수있다. p, q 를다음과같이만들수도있다. p=' 여자가존재한다 ' q=' 함께아이를가질수있는남자가존재한다. 이때아이는 ( 생물학적으로 ) 남자혹은여자다 ' 그렇다면해당공리계에는남자들과여자들이무한히존재한다. 공위상이아닌어떤위상을 구성할때, 이를위해필요한공리집합최소한의요건은다음과같이추측할수있다. - 12 -
n 개의지시체를가지는명제가존재한다 (n 은자연수 )= ㅌ 임의의명제 p 에대해, p 와무모순한 q 가존재한다.= ㅍ 공리집합을구성하는의해, 해당공리계의모든지시체들의상호관계가규정된다.= ㅎ ㅎ이필요한이유는, 관계가규정되지않은존재는다른위상에존재하는것이나마찬가지이기때문이다. 예를들면페아노공리계의공리들에 ' 이백현이존재한다 ' 라는공리를추가할경우, 해당공리계에는자연수 N과이백현이존재한다. 근데자연수와이백현의관계가규정되지않았으므로, 이백현은페아노공리계에존재하지않는것이나마찬가지다. 따라서공리집합의요건에는ㅎ도포함된다. 이제위상 C로돌아가서ㅌ, ㅍ, ㅎ라는규칙을추가하면, 위상 B에구성된공리집합 H가 {X X는ㅌ, ㅍ, ㅎ를만족하는명제 } 임을, 즉공리집합임을알수있다. 그리고공리집합 H를통해, 위상 A에진정한의미로집합이구성된다. - 13 -
Ⅲ. 결론 본문과같이집합을구성하면, 러셀의역설에빠지는일없이한위상에존재하는 모든것의집합 을구성가능하다. 또한본문의모델에따르면, 우리가생각해내는명제들이실제로우리와같은위상의대상을지시하는것이아니라, 우리가머릿속에존재하는하위위상에우리가사는세계의실체들을전사하여지시체로삼고있음을알수있다. 내연구에모순이없다면, 수학과철학의발전에도움이되리라기대한다. - 14 -
참고문헌 ⁰) 폰노이만전체 https://ko.wikipedia.org/wiki/%ea%b3%84%ec%8a%b9%ec%a0%81_%ec%a7%91%ed %95%A9 ¹) 페아노공리계 https://ko.wikipedia.org/wiki/%ed%8e%98%ec%95%84%eb%85%b8_%ea%b3%b5%eb% A6%AC%EA%B3%84 https://namu.wiki/w/%ec%9e%90%ec%97%b0%ec%88%98?from=%ed%8e%98%ec%95 %84%EB%85%B8%20%EA%B3%B5%EB%A6%AC%EA%B3%84#s-2.1 ²)ZFC 공리계 https://namu.wiki/w/zfc%20%ea%b3%b5%eb%a6%ac%ea%b3%84 https://ko.wikipedia.org/wiki/%ec%b2%b4%eb%a5%b4%eb%a9%9c%eb%a1%9c-%ed %94%84%EB%A0%9D%EC%BC%88_%EC%A7%91%ED%95%A9%EB%A1%A0#%EC%A0%95 %EC%B9%99%EC%84%B1_%EA%B3%B5%EB%A6%AC ³) 러셀의역설 https://namu.wiki/w/%eb%9f%ac%ec%85%80%ec%9d%98%20%ec%97%ad%ec%84% A4 ⁴) 불완전성정리 https://namu.wiki/w/%eb%b6%88%ec%99%84%ec%a0%84%ec%84%b1%20%ec%a0%9 5%EB%A6%AC 이외 ) 윌러드밴오먼콰인 https://namu.wiki/w/%ec%9c%8c%eb%9f%ac%eb%93%9c%20%eb%b0%b4%20%ec% 98%A4%EB%A8%BC%20%EC%BD%B0%EC%9D%B8?from=%EC%BD%B0%EC%9D%B8#s-3. 4-15 -