Bemærk: Kan ikke leveres før jul.
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.