Ülevaade:
Loengus kirjeldatakse matemaatilist teooriat, mis on arendatud
opereerimaks substitutsiooniga induktsiooni kasutamata. Põhimõtteks on
defineerida substitutsioon nn positsioonides asendamise kaudu, mitte
induktiivselt. Niisugune definitsioon vastab paremini intuitiivsele
arusaamale substitutsioonist ja teeb seetõttu substitutsiooni kohta
käivate faktide range tõestamise inimlikumaks.
Varmo Vene
Viimati muudetud 31.3.2000