18
Example of Extension Axiom
8
x
1
.
8
x
2
.
8
x
3
. (t(x
1
, x
2
, x
3
)
)
9
z. s(x
1
, x
2
, x
3
, z))
t
t,s
=