Documente Academic
Documente Profesional
Documente Cultură
"!$#&%(')"*+!$,.-/*+,
013254687
6:9+;=<>4@?A015B(CD"7
6:4"2(EFG6:;H4@FG;>I
J 4689+;LKMI6:7NO1QPRE+D@ISIT;LU
V K
6825W7
134
VYX[Z]\_^a`
Jb
c Bd<>6:e/fg0WKS6hIT7S15CW";LKLikjlW15KS4.7S154)mYn@KS;L4;L7HioDpqirFG13B
js;Le/fYtvu5uw ZHx_y>z|{_y>}3}5~3{
<N x.Z3)x353z
+/T$M
)
/
GhGs:
$$YM$Lh
:
MkMv MvM_LT
$hY$G:hM$$GhvYGhR$GGh//::
G$T)H
Mq$:hh
LTS_h
)h$k8T.$YqG $ShLhh
Gh$/l)Th
ThSvhMhhGThh$MhGM>aSGhH:S
h+M::s/Sgh$hHMThhhG/@h$vhHTT
TT $G$S Y8@LThkGG> :
T
vh= 8MT$ ShT qMkGTh/O:Ma])$Tl$$LhhhOMHTTL$/hHG$
hhLv$hGRgTHM8MG:s:@$s 8M
$hqvThvq/GGh/Yh$)T(
/lhh$$MMq
T:SL
sMT3h$:
hh:TG$$:h
$hLh vhL$
$vM$lh:5$Y
o
>hTsMYHT8h:/hlk$ Shv
G:S]T$THTTMh
G$/lg:/
M
h=T@M:S
Y/Lh:"Mvh$v)/G$]M$TH8Thk[MhlYMhMLShhG:LT$GhYhGh$@hhgGR
hGShl
L
$ +h>rq>>L$vLM5L>MvGr>r$Q
MvY>vTHvSvr>$v3M$vg$
L "!$# $sT>>L3r$[rHG$r$T
>YQ>L3vr$]> r3kLL3+>v$>G=v>l>rr>v$G>TMqG>GhH5
8Ghq 3Lv rhg>@Q3>>vH$v
3L$T>$hL5")>rrMv/k
3GrH
58Gr>YYr:5M3]Yvr$L3MvS s>lr$L3 8G G>l3MvLr
>T& %$r>Slk8q5M8v$G>
>M3LG> s>r)>>L5h)( 'v>r>
$Q$hL3Ts>v>v>$gMvr$rY>L5r3LrLL3Mr:$ >5$>>r$
)
*Y,
+ l. -"T
s 3vvr$LSQ> /1 0 MQ3S 3YYs
q/3LGrY>>r$vkQQ3G
M3G >r$>GhL3
3 2MqT$
4 2$rM35 6 >! 78s>MLL
MrT3r$@Q>v$hg>rM5MrLr+q@Q3v>9 0Or")s
sM>>v>vr>
$Q$hL3; :<>=@?BA6CD<DEMv>v>O$T>$hL5Qvr$ F 8SMv> 5r>r>r
YvMq$kQr5Sol5$vkvr$>
s 3Mv>M):SMv>lrL5>Skv
6 s>rsrG>$hL5hkH GGvvkQYskvv3S+$kQqrG 3Grr$Q
M3I LGJ K Q$Mr> LhMvvkM GL> Nsr$v>vS@ 3MQksr
OQPSR6O6OTR6O6O6O6O
V KV
$ Z>
K8
VVKVKV LB8N
Z>
KZ
VKVV L
6N ZZ
>$>
V
VVV LBgN KV
V
3g
V
@ >r @sTr$Q>r 5h)]G>GhH5
>/v>TaM33Q
2sGk33M >Ms5v>r$LM+rGv>r$S LG/Lr3Q>L3vr$ L8h $r
$Q$hL3 GLHr>6 Nskv>$QQ]>S :$a$vMGS 3LQk3r3 >
$Gr>r$5M>v>lrL$$rG5SMvSLr[rSvr>=M[r3LrLL3MM3a( GLkQ
$LlMrS vMHL
l3@$Q$hL3TvrSvSYsr> 3 >rrrh>G3GrG3M
v>r3v>vS>QkGL:3>T@QaqMv 3G>3l 3S$s$v@>T$MrL@rY>
3G>>Mvr$
2srG>r3l/v>Mlskr@ LHrG>r[3 [3
$YMLL+>r$>r3lkQ/3
@$vYv> 3M)QkGv33 M 3r>vrS
l8G@Q>L3vr$ sL>
$>rG>r
3)/v>M)skr55YlY>rr>rL>h $)>3s>>vv>v3rGL/v>MsM
3 >3
Sv$vM @> /rM"
$T/MG)3Qsv>QavQ
$M$
3QqQR5$>Qr$ J L3/v>M $/GL3kr$ >" tTSOG>q>
3G>>Mvr$ 5S>lQrskQ/3 5>$) 5v>>L5S+
s>)$vMsg8$vY>8$/v>TaMrR >>vh>v>L3vkG3rr@M.8$rrMs
La
N
L N L!">N_$# %
#
2sT&r")QaQ L>N5r+>@L> 5+Hr>M3M'kv>@5$>>r$
Msvk(S # L!aN)rsv>3 v> M) 3 # % rs>l
$M$3Q
* ,+
,.-0/$132547698.4;:
<!2>=5/0? =@1BA 2
/>C7A 8.=D2E<CF/G? =<H/0? C7A/0? =2
8>? =ICF2'J$?
138>?C;<!= K 1BA9LM/0? =@NO47N
:
P3CQ/G1347AER
8
N
2sT
s>qv3vr$)>G3vrM>v>qv$vM$G3MvkGM)Mv>
5@>Gr
$>r)skv/v>TaM3>Gq3>r>r>Gvk5$GklQk@$GQ >$MG$TSl3
M>$vMs8$vY>s$k5MTsY$kQr$v Gs>rqrSGLkvSvkl>
rk
6
6 sQvMv3; >G
3rM)h$LS5 5M$
$T/MG
/v>MlSTkG>5$>LvrkYr3Sr>YvMrqr > >TH $Q/r$>
H i @
+ Y +R.@ " l m n." n"TY
$/kQ]QY/v>v>G[+/v>Msrr"G>r 5GvSrO>vT$
Oo
>TM, >G 5L3QkQYkT>$vhY Gl/v>Tagskr+G>r 3>vv$S[Gh
SrYor 3>Ts$L$HMGh L:> 3srv3Q)M$>
G/$)3v>D N)r
$vSMvqv3MYrv9 L>r> >rrrh$ DF v>MrM+r@L5>r>r>Glv>s$Q$hL3
r>$v` 2sMASrrYksv>r >GQ 3v >rLs/rh3
:+3v>s$r>@M>G 5hqT KV3 ZKVsrYv>
G/$ $Mr> 5r> VKVQ
>
>rR> 3v>YMvk[r ZV VKV3Ov>
>rR> 5>v$L$L/MGYr
ZKVVV>s Lav>a8$ s>v]>l/rL5>r>r>G]v$>GhL3rQ$
3Sqv>r"srr$Q$ 3)>vv$S$vSrH:5>)/v> k.M 3MG
G/$5h
>vSLrskrL
r$ K<"CD<D=E
@MQqv3Mlr3vSMvkQvr"rg8>v>s5$>Qr$Q
L 3]Ll$v/ N;
q kv=YG>GhH5lkT>$v= VV >r
5>L3>r>rQ$[Ms
/v>YQ)L> 5rvs3 ZV >rvS s>L> 5q"QaqsrYL3QkQ
r>$vrl5M3 ZV Qkv:$rvY3 V"!#l5/THMv>$M)L> 3T
$ - A&%47P('*)E=<,+
L 2.- /0)O4412713/$1325/0? = <CF/G134 476'
=,3
A
1BA+@P3=A+F/G?/>4+F=A 4F/54FNE=$P3=A+F/0?76#8R
9:@8.8D47:
A /01BA+6 47< /0? =;'
=.2>/G<>: 8./01(<F=5=>=O=D8./>2'476$C(I : /
CF/01347A(47NO=<!CQ/G1347A(<=@?Q:
1B<=@'(C 63:
</0? =<58>? C7A+F=
/
4 /0? =56 47<>I&:
P3C272>=.=7- /2QN9RA A0GR
A :
I)O=< 4;66 )
13/2
8>? =ICF2 $ CQ2)C+N
<47NO47< 6
?
132 =.2>/01BICF/
= 132)C7<><
1(<F= ' CF/;)4 />C11BA+/0? = M
/G134;A 4;6&/G? = A:
I )E=<476+F=A 4F/54FNE=.2F, 25C7A' I :
P3/G1BN
P(4Q1BA +&) 4 8
R
? = <7C7PB: =+4) />C71BA =@' 132
8 8R
g
L
N
Schema Theorem
Assumptions
A
FE
L
R
X
@GG R
2s$rM5+$5hL MKgKNTB= K= ?1=@? C;=? A6C>= = = CD?, D = 3 ED?1< ;E>
5$&sQkGvrhM)v>rHM TS
r>GTS$+>M5
r/v>Tkh9 OQ L MKKNT@sr$ >QkLr> Qk>MGg3>T3>
Q>rkQM >rM GHL5$v>r
Yhlfq >rr L@+NHG SA =?, E :Ih< Q<D?,
=
(C H?" EKJG) >M ]5 /) '$LM L8M>
MQ3 6 L KgNJ 2rk>rr >r> 3
M$>T)S/vY$Y 5L$rSr>rLL
v>vk/MM GR GGK tS S# 9C*D<><
E 1:M>N <O> 9< :D?"K' ?1<C f=@? f= N :<"CD< ><
4]=- f<QP5<D=SC
;L:>, 8
TV1 8 T8N
0$
55$l6 L KN
h< Q<D?, !=
(C H?" E S <D=SC-T26U ?, V=?, 2`= O]=W%
? 5f<PJ<D=SC
M@QLr$B qOvrH
rkrL) LBrQ$v3$r>6 N M3kLvkY$>T]Q$G/o>3 3
sQrS