A Foundation of Finite Mathematics
Moto-o Takahashi · Publications of the Research Institute for Mathematical Sciences · 1976
a. (i) is a special case of (ii).q.e.d.For later use we give here a formalized inductive definition of truth. Ass (/)4=>Fnc (/) A Vx e dom (/) • Var (x). Vali (p, r, /)4^Term'(r) A Ass (/) A V(v, r) A u 5= dom (/) A ((r = r (T A p