INTRODUCTION

Our purpose is to find constructive interpretations

for parts of classical mathematics.

It is Impossible to be completely preoise about the

concepts of constructive statement and constructive proof.

But we generally say that a proof is constructive if when­

ever the existence of some mathematical object is asserted,

the proof enables us to find out Just what this object is.