| r1 ➤ r2 | |
| 1 | [Include(틀:가져옴,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]], L=[[https://archive.ph/96kNT|링크]])[분류:가져온 문서/오메가]] |
| 4 | == 정의 == |
| 9 | * [math(\phi)]가 [math(\Pi^0_n)]이면 [math(\exists x_1\cdots\exists x_n \phi)]는 [math(\Sigma^0_{n+1})]이다. |
| 10 | |
| 11 | [Include(틀:가져옴,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]], L=[[https://archive.ph/96kNT|링크]])] |
