>>636
その条件、意味なくない？

∃δ∀x(┃x-a┃<δ→┃f(x)-f(a)┃<ε)をPεとすると、
1、∀ε(ε>0→Pε)　・・・仮定
2、10>y∧y>0　・・・仮定
3、Y>0　・・・2より∧除去
4、y>0→py　・・・1より全称例示化
5、Py　・・・3と4より→除去
6、10>y∧y>0→Py　・・・2と5より→導入
7、∀ε(10>ε∧ε>0→Pε)　・・・6より全称汎化
8、∀ε(ε>0→Pε)→∀ε(10>ε∧ε>0→Pε)　・・・1と7より→導入

1、∀ε(10>ε∧ε>0→Pε)　・・・仮定
2、10>y∧y>0　・・・仮定
3、10>y∧y>0→Py　・・・1より全称例示化
4、Py　・・・2と3より→除去
5、∀x(┃x-a┃<d→┃f(x)-f(a)┃<y)　・・・4より存在例示化
6、┃t-a┃<d　・・・仮定
7、┃t-a┃<d→┃f(t)-f(a)┃<y　・・・5より全称例示化
8、┃f(t)-f(a)┃<y　・・・6と7より→除去
9、z≧10　・・・仮定
10、┃f(t)-f(a)┃<z　・・・8と9より
11、┃t-a┃<d→┃f(t)-f(a)┃<z　・・・6と10より→導入
12、∀x(┃x-a┃<d→┃f(x)-f(a)┃<z)　・・・11より全称汎化
13、∃δ∀x(┃x-a┃<δ→┃f(x)-f(a)┃<z)　・・・12より存在汎化
14、z≧10→Pz　・・・9と13より→導入(13はPz)
15、∀ε((10>ε∧ε>0)∨ε≧10→Pε)　・・・3と14より
16、∀ε(10>ε∧ε>0→Pε)→∀ε(ε>0→Pε)　・・・1と15より→導入(15は∀ε(ε>0→Pε))