Constructibility and Mathematical Existence

This book is concerned with 'the problem of existence in mathematics'. It develops a mathematical sy...