|
|
| （未显示5个用户的7个中间版本） |
| 第1行： |
第1行： |
| {| class="wikitable"
| | 欢迎来到地府 |
| |+
| | == Part 1 == |
| |-
| | 主词条：[[PPS分析Part1|PPS分析Part1]] |
| ! [[PPS]] !! [[康托范式]]
| |
| |-
| |
| | <math>(0,1)</math> || <math>\omega</math>
| |
| |-
| |
| | <math>(0,1,0,0,3)</math> || <math>\omega\times2</math>
| |
| |-
| |
| | <math>(0,1,0,0,3,0,0,6)</math> || <math>\omega\times3</math>
| |
| |-
| |
| | <math>(0,1,0,0,3,0,0,6,0,0,9)</math> || <math>\omega\times4</math>
| |
| |-
| |
| | <math>(0,1,0,0,3,3)</math> || <math>\omega^2</math>
| |
| |-
| |
| | <math>(0,1,0,0,3,3,0,0,7)</math> || <math>\omega^2+\omega</math>
| |
| |-
| |
| | <math>(0,1,0,0,3,3,0,0,7,0,0,10)</math> || <math>\omega^2+\omega\times2</math>
| |
| |-
| |
| | <math>(0,1,0,0,3,3,0,0,7,7)</math> || <math>\omega^2\times2</math>
| |
| |-
| |
| | <math>(0,1,0,0,3,3,0,0,7,7,0,0,11,11)</math> || <math>\omega^2\times3</math>
| |
| |-
| |
| | <math>(0,1,0,0,3,3,3)</math> || <math>\omega^3</math>
| |
| |-
| |
| | <math>(0,1,0,0,3,3,3,0,0,8,8)</math> || <math>\omega^3+\omega^2</math>
| |
| |-
| |
| | <math>(0,1,0,0,3,3,3,0,0,8,8,8)</math> || <math>\omega^3\times2</math>
| |
| |-
| |
| | <math>(0,1,0,0,3,3,3,3)</math> || <math>\omega^4</math>
| |
| |-
| |
| | <math>(0,1,0,0,4)</math> || <math>\omega^\omega</math>
| |
| |-
| |
| | <math>(0,1,0,0,4,0,0,6)</math> || <math>\omega^\omega+\omega</math>
| |
| |-
| |
| | <math>(0,1,0,0,4,0,0,6,6)</math> || <math>\omega^\omega+\omega^2</math>
| |
| |-
| |
| | <math>(0,1,0,0,4,0,0,7)</math> || <math>\omega^\omega\times2</math>
| |
| |-
| |
| | <math>(0,1,0,0,4,0,0,7,0,0,9)</math> || <math>\omega^\omega\times2+\omega</math>
| |
| |-
| |
| | <math>(0,1,0,0,4,0,0,7,0,0,10)</math> || <math>\omega^\omega\times3</math>
| |
| |-
| |
| | <math>(0,1,0,1)</math> || <math>\omega^{\omega+1}</math>
| |
| |-
| |
| | <math>(0,1,0,1,0,0,5)</math> || <math>\omega^{\omega+1}+\omega</math>
| |
| |-
| |
| | <math>(0,1,0,1,0,0,5,0,0,8)</math> || <math>\omega^{\omega+1}+\omega\times2</math>
| |
| |-
| |
| | <math>(0,1,0,1,0,0,5,5)</math> || <math>\omega^{\omega+1}+\omega^2</math>
| |
| |-
| |
| | <math>(0,1,0,1,0,0,6)</math> || <math>\omega^{\omega+1}+\omega^\omega</math>
| |
| |-
| |
| | <math>(0,1,0,1,0,0,6,0,0,8)</math> || <math>\omega^{\omega+1}+\omega^\omega+\omega</math>
| |
| |-
| |
| | <math>(0,1,0,1,0,0,6,0,0,9)</math> || <math>\omega^{\omega+1}+\omega^\omega\times2</math>
| |
| |-
| |
| | <math>(0,1,0,1,0,0,6,0,6)</math> || <math>\omega^{\omega+1}\times2</math>
| |
| |-
| |
| | <math>(0,1,0,1,0,0,6,0,6,0,0,11,0,11)</math> || <math>\omega^{\omega+1}\times3</math>
| |
| |-
| |
| | <math>(0,1,0,1,0,1)</math> || <math>\omega^{\omega+2}</math>
| |
| |-
| |
| | <math>(0,1,0,1,0,1,0,0,8)</math> || <math>\omega^{\omega+2}+\omega^\omega</math>
| |
| |-
| |
| | <math>(0,1,0,1,0,1,0,0,8,0,8)</math> || <math>\omega^{\omega+2}+\omega^{\omega+1}</math>
| |
| |-
| |
| | <math>(0,1,0,1,0,1,0,0,8,0,8,0,8)</math> || <math>\omega^{\omega+2}\times2</math>
| |
| |-
| |
| | <math>(0,1,0,1,0,1,0,1)</math> || <math>\omega^{\omega+3}</math>
| |
| |-
| |
| | <math>(0,1,0,2)</math> || <math>\omega^{\omega\times2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,0,6)</math> || <math>\omega^{\omega\times2}+\omega</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,0,6,0,0,9)</math> || <math>\omega^{\omega\times2}+\omega2</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,0,6,6)</math> || <math>\omega^{\omega\times2}+\omega^2</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,0,7)</math> || <math>\omega^{\omega\times2}+\omega^\omega</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,0,7,0,0,10)</math> || <math>\omega^{\omega\times2}+\omega^\omega\times2</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,0,7,0,7)</math> || <math>\omega^{\omega\times2}+\omega^{\omega+1}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,0,7,0,7,0,7)</math> || <math>\omega^{\omega\times2}+\omega^{\omega+2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,0,7,0,8)</math> || <math>\omega^{\omega\times2}\times2</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,0,7,0,8,0,0,0,13)</math> || <math>\omega^{\omega\times2}\times2+\omega^\omega</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,0,7,0,8,0,0,0,13,0,13)</math> || <math>\omega^{\omega\times2}\times2+\omega^{\omega+1}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,0,7,0,8,0,0,0,13,0,14)</math> || <math>\omega^{\omega\times2}\times3</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1)</math> || <math>\omega^{\omega\times2+1}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,0,0,10)</math> || <math>\omega^{\omega\times2+1}+\omega^\omega</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,0,0,10,0,10)</math> || <math>\omega^{\omega\times2+1}+\omega^{\omega+1}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,0,0,10,0,11)</math> || <math>\omega^{\omega\times2+1}+\omega^{\omega\times2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,0,0,10,0,11,0,0,10)</math> || <math>\omega^{\omega\times2+1}\times2</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,0,1)</math> || <math>\omega^{\omega\times2+2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,0,1,0,0,1)</math> || <math>\omega^{\omega\times2+3}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,6)</math> || <math>\omega^{\omega\times3}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,6,0,0,1)</math> || <math>\omega^{\omega\times3+1}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,6,0,0,1,0,11)</math> || <math>\omega^{\omega\times4}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,6,0,6)</math> || <math>\omega^{\omega^2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,6,0,6,0,0,1)</math> || <math>\omega^{\omega^2+1}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,6,0,6,0,0,1,0,13)</math> || <math>\omega^{\omega^2+\omega}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,6,0,6,0,0,1,0,13,0,13)</math> || <math>\omega^{\omega^2\times2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,6,0,6,0,6)</math> || <math>\omega^{\omega^3}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,7)</math> || <math>\omega^{\omega^\omega}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,7,0,0,1)</math> || <math>\omega^{\omega^\omega+1}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,7,0,0,1,0,11)</math> || <math>\omega^{\omega^\omega+\omega}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,7,0,0,1,0,11,0,11)</math> || <math>\omega^{\omega^\omega+\omega^2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,1,0,7,0,0,1,0,11,0,12)</math> || <math>\omega^{\omega^\omega\times2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2)</math> || <math>\omega^{\omega^{\omega+1}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1)</math> || <math>\omega^{\omega^{\omega+1}+1}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,9)</math> || <math>\omega^{\omega^{\omega+1}+\omega}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,9,0,9)</math> || <math>\omega^{\omega^{\omega+1}+\omega^2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10)</math> || <math>\omega^{\omega^{\omega+1}+\omega^\omega}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,0,1,0,15)</math> || <math>\omega^{\omega^{\omega+1}+\omega^\omega+\omega}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,0,1,0,16)</math> || <math>\omega^{\omega^{\omega+1}+\omega^\omega\times2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9)</math> || <math>\omega^{\omega^{\omega+1}\times2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,0,0,1,0,18)</math> || <math>\omega^{\omega^{\omega+1}\times2+\omega}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,0,0,1,0,19)</math> || <math>\omega^{\omega^{\omega+1}\times2+\omega^\omega}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,0,0,1,0,19,0,0,0,1,0,25)</math> || <math>\omega^{\omega^{\omega+1}\times2+\omega^\omega\times2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,0,0,1,0,19,0,0,18)</math> || <math>\omega^{\omega^{\omega+1}\times3}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,0,9)</math> || <math>\omega^{\omega^{\omega+2}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,0,9,0,0,0,1)</math> || <math>\omega^{\omega^{\omega+2}+1}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,0,9,0,0,0,1,0,21)</math> || <math>\omega^{\omega^{\omega+2}+\omega}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,0,9,0,0,0,1,0,22)</math> || <math>\omega^{\omega^{\omega+2}+\omega^\omega}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,0,9,0,0,0,1,0,22,0,0,0,1,0,28)</math> || <math>\omega^{\omega^{\omega+2}+\omega^\omega\times2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,0,9,0,0,0,1,0,22,0,0,21)</math> || <math>\omega^{\omega^{\omega+2}+\omega^{\omega+1}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,0,9,0,0,0,1,0,22,0,0,21,0,0,0,1,0,31)</math> || <math>\omega^{\omega^{\omega+2}+\omega^{\omega+1}+\omega^\omega}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,0,9,0,0,0,1,0,22,0,0,21,0,0,0,1,0,31,0,0,30)</math> || <math>\omega^{\omega^{\omega+2}+\omega^{\omega+1}\times2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,0,9,0,0,0,1,0,22,0,0,21,0,0,21)</math> || <math>\omega^{\omega^{\omega+2}\times2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,0,9,0,0,0,1,0,22,0,0,21,0,0,21,0,0,0,1,0,34,0,0,33,0,0,33)</math> || <math>\omega^{\omega^{\omega+2}\times3}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,0,9,0,0,9)</math> || <math>\omega^{\omega^{\omega+3}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,14)</math> || <math>\omega^{\omega^{\omega\times2}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,14,0,0,9)</math> || <math>\omega^{\omega^{\omega\times2+1}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,14,0,0,9,0,19)</math> || <math>\omega^{\omega^{\omega\times3}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,14,0,14)</math> || <math>\omega^{\omega^{\omega^2}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,14,0,14,0,14)</math> || <math>\omega^{\omega^{\omega^3}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,15)</math> || <math>\omega^{\omega^{\omega^\omega}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,15,0,0,9)</math> || <math>\omega^{\omega^{\omega^\omega+1}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,15,0,0,9,0,19)</math> || <math>\omega^{\omega^{\omega^\omega+\omega}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,9,0,15,0,0,9,0,20)</math> || <math>\omega^{\omega^{\omega^\omega\times2}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,10)</math> || <math>\omega^{\omega^{\omega^{\omega+1}}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,10,0,0,1)</math> || <math>\omega^{\omega^{\omega^{\omega+1}}+1}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,10,0,0,1,0,17)</math> || <math>\omega^{\omega^{\omega^{\omega+1}}+\omega}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,10,0,0,1,0,18)</math> || <math>\omega^{\omega^{\omega^{\omega+1}}+\omega^\omega}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,10,0,0,1,0,18,0,0,0,1)</math> || <math>\omega^{\omega^{\omega^{\omega+1}}+\omega^\omega+1}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,10,0,0,1,0,18,0,0,0,1,0,24)</math> || <math>\omega^{\omega^{\omega^{\omega+1}}+\omega^\omega\times2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,10,0,0,1,0,18,0,0,0,1,0,24,0,0,0,1,0,30)</math> || <math>\omega^{\omega^{\omega^{\omega+1}}+\omega^\omega\times3}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,10,0,0,1,0,18,0,0,17)</math> || <math>\omega^{\omega^{\omega^{\omega+1}}+\omega^{\omega+1}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,10,0,0,1,0,18,0,0,17,0,0,17)</math> || <math>\omega^{\omega^{\omega^{\omega+1}}+\omega^{\omega+2}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,10,0,0,1,0,18,0,0,17,0,22)</math> || <math>\omega^{\omega^{\omega^{\omega+1}}+\omega^{\omega\times2}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,10,0,0,1,0,18,0,0,17,0,23)</math> || <math>\omega^{\omega^{\omega^{\omega+1}}+\omega^{\omega^\omega}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,10,0,0,1,0,18,0,0,17,0,23,0,0,17,0,28)</math> || <math>\omega^{\omega^{\omega^{\omega+1}}+\omega^{\omega^\omega\times2}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,1,0,10,0,0,10,0,0,1,0,18,0,0,18)</math> || <math>\omega^{\omega^{\omega^{\omega+1}}\times2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}+1}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}+\omega^\omega}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,0,1)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}+\omega^\omega+1}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,0,1,0,18)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}+\omega^\omega+\omega}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,0,1,0,19)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}+\omega^\omega\times2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,12)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}+\omega^{\omega+1}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,12,0,17)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}+\omega^{\omega\times2}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,12,0,18)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}+\omega^{\omega^\omega}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,12,0,18,0,0,12,0,23)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}+\omega^{\omega^\omega\times2}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}+\omega^{\omega^{\omega+1}}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,0,1)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}+\omega^{\omega^{\omega+1}}+1}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,0,1,0,21)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}+\omega^{\omega^{\omega+1}}+\omega}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,0,1,0,22)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}+\omega^{\omega^{\omega+1}}+\omega^\omega}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,0,1,0,22,0,0,0,1,0,28)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}+\omega^{\omega^{\omega+1}}+\omega^\omega\times2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,0,1,0,22,0,0,21)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}+\omega^{\omega^{\omega+1}}+\omega^{\omega+1}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,0,1,0,22,0,0,21,0,26)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}+\omega^{\omega^{\omega+1}}+\omega^{\omega\times2}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,0,1,0,22,0,0,21,0,27)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}+\omega^{\omega^{\omega+1}}+\omega^{\omega^\omega}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,0,1,0,22,0,0,22)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}+\omega^{\omega^{\omega+1}}\times2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}\times2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,0,0,1,0,25,0,0,25)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}\times2+\omega^{\omega^{\omega+1}}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,0,0,1,0,25,0,0,25,0,0,24)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+1}\times3}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,0,12)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+2}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,0,12,0,0,12)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+3}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,20)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+\omega}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+\omega^\omega}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,0,12)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+\omega^\omega+1}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,0,12,0,26)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+\omega^\omega+\omega}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,0,12,0,27)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+\omega^\omega\times2}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,0,12,0,27,0,0,0,12,0,33)</math> || <math>\omega^{\omega^{\omega^{\omega+1}+\omega^\omega\times3}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,20)</math> || <math>\omega^{\omega^{\omega^{\omega+1}\times2}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,20,0,0,0,12)</math> || <math>\omega^{\omega^{\omega^{\omega+1}\times2+1}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,20,0,0,0,12,0,30)</math> || <math>\omega^{\omega^{\omega^{\omega+1}\times2+\omega^\omega}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,20,0,0,0,12,0,30,0,0,0,12,0,36 )</math> || <math>\omega^{\omega^{\omega^{\omega+1}\times2+\omega^\omega\times2}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,20,0,0,0,12,0,30,0,0,29)</math> || <math>\omega^{\omega^{\omega^{\omega+1}\times3}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,20,0,0,0,12,0,30,0,0,29,0,0,0,12,0,39,0,0,38 )</math> || <math>\omega^{\omega^{\omega^{\omega+1}\times4}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,20,0,0,20)</math> || <math>\omega^{\omega^{\omega^{\omega+2}}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,20,0,0,20,0,0,0,12)</math> || <math>\omega^{\omega^{\omega^{\omega+2}+1}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,20,0,0,20,0,0,0,12,0,33,0,0,32)</math> || <math>\omega^{\omega^{\omega^{\omega+2}+\omega^{\omega+1}}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,20,0,0,20,0,0,0,12,0,33,0,0,32,0,0,32)</math> || <math>\omega^{\omega^{\omega^{\omega+2}\times2}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,20,0,0,20,0,0,20)</math> || <math>\omega^{\omega^{\omega^{\omega+3}}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,20,0,25)</math> || <math>\omega^{\omega^{\omega^{\omega\times2}}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,20,0,25,0,0,20)</math> || <math>\omega^{\omega^{\omega^{\omega\times2+1}}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,20,0,25,0,0,20,0,30)</math> || <math>\omega^{\omega^{\omega^{\omega\times3}}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,20,0,25,0,25)</math> || <math>\omega^{\omega^{\omega^{\omega^2}}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,20,0,26)</math> || <math>\omega^{\omega^{\omega^{\omega^\omega}}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,20,0,26,0,0,20,0,31)</math> || <math>\omega^{\omega^{\omega^{\omega^\omega\times2}}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,21)</math> || <math>\omega^{\omega^{\omega^{\omega^{\omega+1}}}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,21,0,0,0,1)</math> || <math>\omega^{\omega^{\omega^{\omega^{\omega+1}}}+1}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,21,0,0,0,1,0,30)</math> || <math>\omega^{\omega^{\omega^{\omega^{\omega+1}}}+\omega^\omega}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,21,0,0,0,1,0,30,0,0,29)</math> || <math>\omega^{\omega^{\omega^{\omega^{\omega+1}}}+\omega^{\omega+1}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,21,0,0,0,1,0,30,0,0,29,0,35)</math> || <math>\omega^{\omega^{\omega^{\omega^{\omega+1}}}+\omega^{\omega^\omega}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,21,0,0,0,1,0,30,0,0,30)</math> || <math>\omega^{\omega^{\omega^{\omega^{\omega+1}}}+\omega^{\omega^{\omega+1}}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,21,0,0,0,1,0,30,0,0,30,0,0,29)</math> || <math>\omega^{\omega^{\omega^{\omega^{\omega+1}}}+\omega^{\omega^{\omega+1}+1}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,21,0,0,0,1,0,30,0,0,30,0,0,29,0,38,0,0,38)</math> || <math>\omega^{\omega^{\omega^{\omega^{\omega+1}}}\times2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,21,0,0,12)</math> || <math>\omega^{\omega^{\omega^{\omega^{\omega+1}}+1}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,21,0,0,12,0,29)</math> || <math>\omega^{\omega^{\omega^{\omega^{\omega+1}}+\omega^\omega}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,21,0,0,12,0,29,0,0,28)</math> || <math>\omega^{\omega^{\omega^{\omega^{\omega+1}}+\omega^{\omega+1}}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,21,0,0,12,0,29,0,0,28,0,33)</math> || <math>\omega^{\omega^{\omega^{\omega^{\omega+1}}+\omega^{\omega\times2}}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,21,0,0,12,0,29,0,0,28,0,34)</math> || <math>\omega^{\omega^{\omega^{\omega^{\omega+1}}+\omega^{\omega^\omega}}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,12,0,21,0,0,21,0,0,12,0,29,0,0,29)</math> || <math>\omega^{\omega^{\omega^{\omega^{\omega+1}}\times2}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,13)</math> || <math>\omega^{\omega^{\omega^{\omega^{\omega+1}+1}}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,1,0,13,0,0,13,0,0,13,0,0,1,0,24,0,0,24,0,0,24)</math> || <math>\omega^{\omega^{\omega^{\omega^{\omega+1}+1}}\times2}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,0,2,0,0,2,0,0,2)</math> || <math>\omega^{\omega^{\omega^{\omega^{\omega+1}+1}+1}}</math>
| |
| |-
| |
| | <math>(0,1,0,2,0,3)</math> || <math>\varepsilon _0</math>
| |
| |-
| |
|
| |
|
| | == Part 2 == |
| | 主词条：[[PPS分析Part2|PPS分析Part2]] |
| | |
| | == Part 3 == |
| | 主词条：[[PPS分析Part3|PPS分析Part3]] |
| | |
| | == Part 4 == |
| | 主词条：[[PPS分析Part4|PPS分析Part4]] |
| [[分类:分析]] | | [[分类:分析]] |
