어떤 큰 크기가 어떤 작은 크기의 몇 배가 될 때, 작은 크기는 큰 크기의 부분(part)이라고 한다.
두 수 \(a\), \(b\)에 대하여 \( a= k b\)(\(k\)는 크기의 상수)일 때, \(b\)는 \(a\)의 부분(part)이라고 한다.
어떤 큰 크기가 어떤 작은 크기의 몇 배가 될 때, 큰 크기는 작은 크기의 배수(multiple)이라고 한다.
두 수 \(a\), \(b\)에 대하여 \(a=kb\)(\(k\)는 크기의 상수)일 때, \(a\)는 \(b\)의 배수(multiple)라고 한다.
비율(ratio)란 같은 종류의 크기 사이의 크기 관계이다.
두 수 \(a\), \(b\)에 대하여, 두 수의 비는 \(a:b\) 또는 두 수의 비율은 \(\frac ab\)이다.
두 크기에 대하여 어느 크기에 어떠한 수를 곱하면 다른 크기 보다 커지게 할 수 있게 할 수 있을 때, '두 크기가 서로 어떤 비율을 가진다'라고 한다.
네 개의 크기가 있는데, 첫째 크기와 셋째 크기에 같은 어떤 수를 곱하고, 둘째 크기와 넷째 크기에 같은 다른 어떤 수를 곱 하였을 때, 어떤 수를 곱한 첫째 크기와 셋째 크기는 다른 어떤 수를 곱한 둘째 크기와 넷째 크기보다 각각 더 크거나, 같거나, 작게 되었을 때, 첫째 크기와 둘째 크기의 비율과 셋째 크기와 넷째 크기의 ‘비율이 같다’라고 한다.
네 수 \(x\), \(y\), \(z\), \(w\)에 대하여, 두 비율 \(w:x\)와 \(y:z\) 그리고 모든 두 크기수 \(n\), \(m\)에 대하여, \(nw> mx\)이면 \(ny>mz\)이고, \(nw=mx\)이면 \(ny=mz\)이며, \(nw < mx\)이면 \(ny < mz\)이 모두 성립할 때, 두 비율 \(w:x\)와 \(y:z\)은 같다라 하고 즉, \(w:x=y:z\)라고 표기한다.
어떤 크기들의 비율이 같으면 서로 ‘비례한다’라고 한다.
네 개의 크기가 있고, 첫째 크기와 셋째 크기에 같은 수를 곱하고, 둘째 크기와 넷째 크기에 다른 같은 수를 곱하자. 첫째 크기의 곱이 둘째 크기의 곱보다 크고 셋째 크기의 곱이 넷째 크기의 곱보다 작다고 하자. 그러면 ‘첫째 크기와 둘째 크기의 비율이 셋째 크기와 넷째 크기의 비율보다 크다’라고 한다.
네 개의 수 \(w\), \(x\), \(y\), \(z\)에 대하여, \(nw > mx\)이지만 \(ny < mz\)인 크기수 \(n\), \(m\)이 존재할 때 \(w:x > y:z\)라고 한다.
세 개의 크기가 비례할 때, 첫째 크기와 셋째 크기의 비율은 첫째 크기와 둘째 크기의 제곱 비율이다.
세 수 \(a\), \(b\), \(c\)에 대하여, \(a:c=a^2:b^2\)이면 세 수 \(a\), \(b\), \(c\)는 ‘비례한다’고 한다.
네 개의 크기가 연속적으로 비례 할 때, 첫째 크기와 넷째 크기의 비율은 첫째 크기와 둘째 크기의 세제곱 비율이다. 그리고 연속적으로 비례할 대는 계속 이러한 방법에 의해서 비례한다.
네 수 \(a\), \(b\), \(c\), \(d\)에 대하여, \(a:d=a^3:b^3\)이면 네 수 \(a\), \(b\), \(c\), \(d\)는 ‘연속 적으로 비례 한다’고 한다.
비례식에서 대응하는 크기가란 첫째 크기와 둘째 크기는 각각 대응하는 크기는 각각 셋째 크기와 넷째 크기가다.
비례식 \(a:b=c:d\)에서, \(a\)와 \(c\)가 대응하며, \(b\)와 \(d\)가 대응한다.
바꾼 비례식이란 비례식에서 첫째 크기와 셋째 크기의 비율과 둘째 크기와 넷째 크기의 비율이 같다는 것이다.
비례식 \(a:b=c:d\)의 대체 비례식이란 \(a:c=b:d\)이다.
역 비례식이란 비례식에서 둘째 크기와 첫째 크기의 비율과 넷째 크기와 셋째 크기의 비율이 같다는 것이다.
비례식 \(a:b=c:d\)의 역 비례식이란 \(b:a=d:c\)이다.
비례식의 더한 비례식은 첫째 크기와 둘째 크기을 더한 크기와 둘째 크기와의 비율과 셋째 크기와 넷째 크기을 더한 크기와 넷째 크기와의 비율을 구하는 것이다.
비례식 \(a:b=c:d\)의 더한 비례식은 \(a+b:b=c+d:d\)이다.
비례식의 뺀 비례식은 첫째 크기에서 둘째 크기을 뺀 크기와 둘째 크기와의 비율과 셋째 크기에서 넷째 크기을 뺀 크기와 넷째 크기와의 비율을 구하는 것이다.
비례식 \(a:b=c:d\)의 더한 비례식은 \(a-b:b=c-d:d\)이다.
비례식의 전환 비례식은 첫째 크기와 첫째 크기에서 둘째 크기을 뺀 비율과 셋째 크기와 셋째 크기에서 넷째 크기을 뺀 비율을 구하는 것이다.
비례식 \(a:b=c:d\)의 전환 비례식은 \(a:a-b=c:c-d\)이다.
같은 위치에 있는 크기들의 비례식이라는 것은 한 종류의 크기들이 여러 개가 일렬로 있고, 다른 종류의 크기들이 같은 개수만큼 일렬로 있고, 한 종류와 다른 종류에서 같은 순서에 맞게 선택한 모든 두 개의 크기들의 비율이 같은 때, 한 종류의 크기들의 첫째 크기와 마지막 크기 비율과 다른 종류의 첫째 크기와 마지막 크기의 비율이 같을 때이다.
같은 위치에 있는 크기들이 비례식 \(a:b:c=d:e:f\)은 \(a:b=d:e\) 그리고 \(b:c=e:f\) 이면 \(a:c=d:f\)일 때를 말한다.
엇갈린 비례식이라는 것은 한 종류의 크기들이 여러 개가 일렬로 있고, 다른 종류의 크기들이 같은 개수만큼 일렬로 있고, 한 종류 첫째 크기와 둘째 크기의 비율이 다른 종류의 둘째 크기와 셋째 크기와 비율이 같고 한 종류의 둘째 크기와 셋째 크기의 비율이 다른 종류의 첫째 크기와 둘째 크기의 비율이 같다면 첫째 크기와 셋째 크기의 비율이 서로 같을 때이다.
엇갈린 비례식은 \(g:h=m:n\)이고 \(h:k=l:m\)이면 \(g:k=l:n\)일 때이다.
어떤 크기들이 몇 개 있고, 다른 어떤 크기들이 같은 개수만큼 있다. 어떤 크기들은 다른 어떤 크기들에 같은 개수를 곱해서 얻은 크기들이라 하자. 그러면 개수가 몇 개이든지 어떤 크기들을 모두 더한 것은 다른 어떤 크기들을 모두 더한 것에다가 그 개수를 곱해서 얻은 크기와 같다.
두 수 \(\overline{\rm AB}\), \(\overline{\rm CD}\)와 두 수 \(e\), \(f\)는 어떤 수 \(k\)에 대하여 \(\overline{\rm AB}=ke\), \(\overline{\rm CD}=kf\)이라고 하면 \(\overline{\rm AB}+\overline{\rm CD}=k(e+f)\)이다.
여섯 개의 크기들에 대하여, 셋째 크기는 넷째 크기에 어떤 수의 곱이고, 첫째 크기는 둘째 크기에 대해 그것과 같은 어떤 수의 곱이라고 하자. 또한 여섯째 크기는 넷째 크기에 같은 다른 어떤 수의 곱이고, 다섯째 크기는 둘째 크기에 같은 다른 어떤 수의 곱이라고 하자. 그러면 셋째 크기와 여섯째 크기를 더한 것은 넷째 크기에 같은 어떤 수의 곱이고, 첫째 크기와 다섯 째 크기를 더한 것은 둘째 크기에 같은 다른 어떤 수를 곱한 것이다.
여섯 개의 크기 \(\overline{\rm AB}\), \(c\), \(\overline{\rm DE}\), \(f\), \(\overline{\rm BG}\), \(\overline{\rm EH}\)에 대하여, \(\overline{\rm AB}=kc\), \(\overline{\rm DE}=kf\), \(\overline{\rm BG}=k'c\), \(\overline{\rm EH}=k’f\)라고 하자. (단, \(k\), \(k’\)은 상수) 그러면 \(\overline{\rm AB}+\overline{\rm BG}=(k+k’)c\), \(\overline{\rm DE}+\overline{\rm EH}=(k+k')f\)이다.
첫째 크기가 둘째 크기의 어떤 곱이고, 셋째 크기가 넷째 크기의 어떤 크기의 곱이라고 하자. 첫째 크기의 셋째 크기에 다른 크기를 곱해서 얻은 크기는 각각 그 크기들은 둘째 크기와 넷째 크기의 또 다른 크기를 곱해서 얻은 크기와 같다.
\(a=nb\), \(c=nd\)인 \(a\), \(b\), \(c\), \(d\)에 대하여, \(\overline{\rm EF}=ma\), \(\overline{\rm GH}=mc\)이면 \(\overline{\rm EF}=mnb\), \(\overline{\rm GH}=mnd\)이다.(\(m\), \(n\)은 상수)
첫째 크기와 둘째 크기의 비율이 셋째 크기와 넷째 크기의 비율이 같다고 하자. 같은 어떤 수를 첫째 크기와 둘째 크기에 곱하자. 이전과 다른 같은 어떤 수를 둘째 크기와 넷째 크기에 곱하자. 그러면 그렇게 어떤 수들이 곱해진 첫째 크기와 둘째 크기의 비율은 셋째 크기와 넷째 크기의 비율은 같다.
네 수 \(a\), \(b\), \(c\), \(d\)가 있다. 그러면 임의의 \(p\), \(q\)에 대하여, \(a:b=c:d\)이면 \(pa:qb=pc:qd\)이다.
어떤 크기가 다른 어떤 크기의 곱이라고 하자. 거기에서 어떤 부분들을 뺏는데, 부분은 부분에 대하여, 크기가 크기의 곱인 것과 같은 곱이라고 하자. 그러면 나머지도 나머지에 대하여 크기가 크기의 곱인 것과 같은 곱이다.
두 크기 \(\overline{\rm AB}\), \(\overline{\rm CD}\)는 \(\overline{\rm AB}=k\overline{\rm CD}\)이며, 선분 \(\rm AB\)의 부분인 선분 \(\rm AE\)와 선분 \(\rm CD\)의 부분인 선분 \(\rm CF\)는 \(\overline{\rm AE}=k\overline{\rm CD}\)라고 하자. 그러면 \(\overline{\rm EB}=\overline{\rm AB}-\overline{\rm AE}\), \(\overline{\rm FD}=\overline{\rm CD}-\overline{\rm CF}\)인 두 크기 \(\rm EB\), \(\rm FD\)에 대하여, \(\overline{\rm EB}=k\overline{\rm FD}\)이다. (단, \(k\)는 상수)
두 크기에 대하여 같은 수를 곱하고 그 곱들에서 원래의 크기에서 또 어떤 같은 수를 곱한 것을 빼면, 그들의 나머지들은 원래 크기이거나 또는 원래 크기에 같은 곱이다.
두 크기 \(e\), \(f\)에 대하여 \(\overline{\rm AB}=me\), \(\overline{\rm CD}=mf\)이라 하자(\(m\)은 수). 또 \(\overline{\rm AG}=ne\), \(\overline{\rm CH}=nf\)이고 \(\overline{\rm GB}=\overline{\rm AB}-\overline{\rm AG}\), \(\overline{\rm HD}=\overline{\rm CD}-\overline{\rm CH}\)라 하자.(\(n\)은 수) 그러면 \(\overline{\rm GB}=e\), \(\overline{\rm HD}=f\) 또는 \(\overline{\rm GB}=(m-n)e\), \(\overline{\rm HD}=(m-n)f\)이다.
크기가 같은 두 크기는 어떤 크기에 대해서든 같은 비율을 가진다. 그리고 어떤 크기든 간에 같은 크기의 크기는 같은 비율을 가진다.
세 크기 \(a\), \(b\), \(c\)가 있다. \(a=b\)이면, 임의의 \(c\)에 대하여 \(a:c=b:c\)이고, \(c:a=c:b\)이다.
네 개의 크기 \(a\), \(b\), \(c\), \(d\) 에 대하여 \(a:b=c:d\)이면 \(b:a=d:c\)이다.
크기가 다른 크기와 어떤 크기가 있다. 큰 것과 어떤 크기와의 비율은 작은 것과 어떤 크기와의 비율보다 더 크다. 또한 어떤 크기와의 작은 것에 대한 비율은 어떤 크기와 큰 것의 비율보다 더 크다.
크기 \(\overline{\rm AB}\), \(c\), \(d\)에 대하여, \(\overline{\rm AB}>c\)이면 \(\overline{\rm AB}:d > c:d\)이고, \(d:\overline{\rm AB} < d:c\)이다.
두 개의 크기가 어떤 크기에 대해서 비율이 같으면 두 개의 크기가 같다. 또한 어떤 크기가 두 개의 크기에 대한 비율이 같으면 두 개의 크기는 같다.
두 크기 \(a\), \(b\)는 임의의 크기 \(c\)에 대하여 \(a:c=b:c\)이면 \(a=b\)이다. 또한 \(c:a=c:b\)이면 \(a=b\)이다.
두 개의 크기의 어떤 크기에 대한 두 비율이 큰 비율이 더 크면 큰 비율의 크기가 더 크다. 또한 어떤 크기에 대한 두 개의 크기의 비율이 더 작은 비율의 크기가 더 크다.
두 크기 \(a\), \(b\)는 임의의 \(c\)에 대하여 \(a:c>b:c\)이면 \(a>b\)이다. 또한 \(c:a< c:b\)이면 \(a>b\)이다.
두 비율이 어떤 비율과 같으면 그 두 비율은 서로 같다.
여섯 개 크기 \(a\), \(b\), \(c\), \(d\),\(e\), \(f\)에 대하여 \(a:b=c:d\)이고 \(c:d=e:f\)이면 \(a:b=e:f\)이다.
여러 개의 여러 크기들이 서로 비례한다고 하자. 앞의 크기 모두를 더한 것과 뒤의 크기를 모두 더한 것의 비율도 그 비율과 같다.
여섯 개 크기 \(a\), \(b\), \(c\), \(d\),\(e\), \(f\)에 대하여 \(a:b=c:d=e:f\)이면 \(a:b=(a+c+e):(b+d+f)\)이다.
여섯 개의 크기에 대하여 첫 번째 크기와 두 번째 크기의 비율은 세 번째 크기와 네 번째 크기의 비율과 같고 세 번째 크기와 네 번째 크기의 비율이 다섯 번째 크기와 여섯 번째 크기의 비율 보다 크면 첫 번째 크기와 두 번째 크기의 비율도 다섯 번째 크기와 여섯 번째 크기의 비율 보다 크다.
여섯 개 크기 \(a\), \(b\), \(c\), \(d\),\(e\), \(f\)에 대하여 \(a:b=c:d\)이고 \(c:d>e:f\)이면 \(a:b>e:f\)이다.
첫 번째 크기와 두 번째 크기의 비율이 세 번째 크기와 네 번째 크기의 비율과 같다. 이때, 첫 번째 크기가 세 번째 크기보다 크면 두 번째 크기는 네 번째 크기보다 크며, 같으면 같고, 작으면 작다.
네 개의 크기 \(a\), \(b\), \(c\), \(d\)에 대하여, \(a:b=c:d\)이다. 이때 \(a>=< c\)이면 \(b>=< d\)이다.
어떤 두 개의 크기의 비율을 각 크기를 크기가 같은 임의의 개수로 나누자. 그러면 각각 나누어진 한 개의 크기의 비율은 어떤 두 크기의 비율과 같다.
네 개의 크기 \(\overline{\rm AB}\), \(\overline{\rm DE}\), \(c\), \(f\)가 있다. 임의의 \(p\)에 대하여, \(\overline{\rm AB}=p\cdot c\), \(\overline{\rm DE}=p\cdot f\)이면 \(\overline{\rm AB}:\overline{\rm DE}=c:f\)이다.
네 개의 크기에 대하여, 첫 번째 크기와 두 번째 크기의 비율이 세 번째 크기와 네 번째 크기의 비율이 같으면 첫 번째 크기와 세 번째 크기의 비율이 두 번째 크기와 네 번째 크기의 비율과 같다.
네 개의 수 \(a\), \(b\), \(c\), \(d\)에 대하여, \(a:b=c:d\)이면 \(a:c=b:d\)이다.
어떤 네 개의 크기에 대하여, 첫 번째와 두 번째 크기를 더한 크기와 두 번째 크기의 비율은 세 번째 크기와 네 번째 크기를 더한 크기와 네 번째 크기의 비율을 같으면, 첫 번째 크기와 두 번째 크기에서 두 번째 크기를 뺀 크기와 두 번째 크기의 비율은 세 번째 크기와 네 번째 크기를 더한 크기에서 네 번째 크기를 뺀 크기와 네 번째 크기의 비율이 같다. 즉, 첫 번째와 두 번째 크기의 비율은 세 번째와 네 번째 크기의 비율이 같다.
어떤 네 크기 \(\overline{\rm AB}, \overline{\rm BE}, \overline{\rm CE}, \overline{\rm DF}\)에 대하여, \(\overline{\rm AB}:\overline{\rm BE}=\overline{\rm CD}:\overline{\rm DF}\)이면 \(\left(\overline{\rm AB}-\overline{\rm BE}\right):\overline{\rm BE}=\left(\overline{\rm CD}-\overline{\rm DF}\right):\overline{\rm DF}\)이다. 즉, \(\overline{\rm AE}:\overline{\rm EB}=\overline{\rm CF}:\overline{\rm DF}\)이다.
네 크기에 대하여, 첫 번째 크기와 두 번째 크기의 비가 세 번째 크기와 네 번째 크기의 비와 같으면 첫 번째와 두 번째 크기의 합과 두 번째 크기의 비는 세 번째와 네 번째 크기의 합과 네 번째 크기의 비와 같다.
네 크기 \(\overline{\rm AE}\), \(\overline{\rm EB}\), \(\overline{\rm CF}\), \(\overline{\rm FD}\)에 대하여, \(\overline{\rm AE}:\overline{\rm EB}=\overline{\rm CF}:\overline{\rm FD}\)이면 \(\left(\overline{\rm AE}+\overline{\rm EB}\right):\overline{\rm EB}=\left(\overline{\rm CF}+\overline{\rm FD}\right):\overline{\rm FD}\) 즉, \(\overline{\rm AB}:\overline{\rm EB}=\overline{\rm CD}:\overline{\rm FD}\)이다.
두 개의 전체 크기의 비와 각각 크기의 각 부분과의 비가 같으면, 각각의 나머지의 비와 전체 크기의 비가 같다.
두 개의 크기 \(\overline{\rm AB}\), \(\overline{\rm CD}\)와 \(\overline{\rm AB}\)와 \(\overline{\rm CD}\)의 일부를 각각 \(\overline{\rm AE}\), \(\overline{\rm CF}\)라 하자. 그러면 남은 크기 \(\overline{\rm EB}\), \(\overline{\rm FD}\)에 대하여, \(\overline{\rm AE}:\overline{\rm CF}=\overline{\rm AB}:\overline{\rm CD}\)이면 \(\overline{\rm EB}:\overline{\rm FD}=\overline{\rm AB}:\overline{\rm CD}\)이다.
세 개의 크기와 또 다른 세 개의 크기에 대하여, 이들 차례로 크기의 두 개씩의 비율이 같다고 하자. 그러면 첫 번째 크기가 세 번째 크기 보다 크면 네 번째 크기가 여섯 번째 크기보다 크고 같으면 같고, 작으면 작다.
세 개의 크기 \(a\), \(b\), \(c와\) 또 다른 세 개의 크기 \(d\), \(e\), \(f\)에 대하여, \(a:b=d:e\), \(b:c=e:f\)라고 하자. 그러면 \(a>= < c\)이면 \(d>=< f\)이다.
세 개의 크기가 있고 또 다른 세 개의 크기가 있다. 그리고 그 두 개의 크기의 비율이 서로 엇갈려 있다고 하자. 그러면 첫 번째 크기가 세 번째 크기 보다 크면 네 번째 크기도 여섯 번째 크기보다 크고, 같으면 같고, 작으면 작다.
세 개의 크기 \(a\), \(b\), \(c\)와 또 다른 세 개의 크기 \(d\), \(e\), \(f\)에 대하여, \(a:b=e:f\)이고 \(b:c=d:e\)라고 하자. 그러면 \(a>= < c\)이면 \(d>= < f\)이다.
임의 수의 개수 만큼 크기가 있고, 또 다른 크기가 같은 개수만큼 있다고 하자. 이들 크기 두 개씩 비율을 구할 수 있고, 그 비율이 순서대로 같다고 하자. 그러면 같은 위치에 있는 크기의 비율은 같다. 즉, 첫 째와 맨 마지막 비율이 같다.
어떤 크기들 \(a\), \(b\), \(c\)가 있고 또 같은 개수 만큼의 다른 크기 \(d\), \(e\), \(f\)가 있고, \(a:b=d:e\)이고 \(b:c=e:f\)이라고 하자. 그러면 \(a:c=d:f\)이다.
세 개의 크기와 또 다른 세 개의 크기에 대하여, 첫 번째와 두 번째 크기 비율이 네 번째와 여섯 번째 크기의 비율이 같고, 두 번째와 세 번째 크기의 비율이 네 번째와 다섯 번째 크기의 비율과 같다고 하자. 그러면 첫 번째와 세 번째 크기의 비율은 네 번째와 여섯 번째 크기의 비율과 같다.
세 개의 크기 \(a\), \(b\), \(c\)와 또 다른 세 개의 크기 \(d\), \(e\), \(f\)에 대하여, \(a:b=e:f\)이고 \(b:c=d:e\)이면 \(a:c=d:f\)이다.
여섯 개의 크기에 대하여, 첫 번째와 두 번째 크기의 비율은 세 번째와 네 번째 크기의 비율과 같고, 다섯 번째와 두 번째 크기의 비율은 여섯 번째와 네 번째 크기의 비율과 같다고 하자. 그러면 첫 번째와 다섯 번째 크기를 더한 크기와 두 번째 크기의 비율은 세 번째와 여섯 번째 크기를 더한 크기와 네 번째 크기와의 비율과 같다.
여섯 개의 크기 \(\overline{\rm AB}\), \(c\), \(\overline{\rm DE}\), \(f\), \(\overline{\rm BG}\), \(\overline{\rm EH}\)에 대하여, \({\overline{\rm AB}}:c={\overline{\rm DE}}:f\)이고 \({\overline{\rm BG}}:c={\overline{\rm EH}}:f\)이라고 하자. 그리고 \(\left({\overline{\rm AB}+\overline{\rm BG}}\right):c=\left({\overline{\rm DE}+\overline{\rm EH}}\right):f\)이다. 즉, \(\overline{\rm AG}=\overline{\rm AB}+\overline{\rm BG}\), \(\overline{\rm DH}=\overline{\rm DE}+\overline{\rm EH}\)이므로 \({\overline{\rm AG}}:c={\overline{\rm DH}}:f\)이다
네 개의 크기에 대하여, 첫 번째와 두 번째 크기의 비율이 세 번째와 네 번째 크기의 비율과 같다. 그러면 가장 큰 크기와 가장 작은 크기의 합의 크기는 나머지 두 크기의 합보다 크다.
네 개의 크기 \(\overline{\rm AB}\), \(\overline{\rm CD}\), \(e\), \(f\)에 대하여, \({\overline{\rm AB}}:{\overline{\rm CD}}=e:f\)라고 하자. \(\overline{\rm AB}\)가 가장 크고, \(f\)가 가장 작다고 하자. 그러면 \({\overline{\rm AB}}+f>{\overline{\rm CD}}+e\)이다.
V 권 명제들의 종속 관계 | ||
---|---|---|
2 | 2, 6 | |
3 | 4 | |
1 | 5, 8, 12 | |
8 | 9 | |
7,8* | 10 | |
8*, 10, 13 | 14* | |
7, 12 | 15 | |
11, 14, 15 | 16 | |
1, 2 | 17 | |
11, 14*, 17 | 18 | |
11, 16*, 17 | 19 | |
7 따름명제, 8, 10, 13 | 20, 21* | |
4, 20 | 22 | |
11, 15, 16*, 21* | 23* | |
7 따름명제, 18, 22 | 24 | |
7, 11, (14), 19 | 25* |
*: V권의 일부 명제들은 [V권 정의 4]를 비교 공리(Axiom of comparison)처럼 다루어져야 한다.