As we mentioned in the introduction to this book, in the last years of the last century, logicians and mathematicians concerned with the theoretical foundations of their science were disturbed by the fact that Cantor's concept of a set and his theory of the actual infinite lead to contradictions.¹