This book is concerned with `the problem of existence in mathematics'. It develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. It explores the philosophical implications of such an approach in an examination of the writings of Field, Burgess, Maddy, Kitcher, and others.
