Concepts and axioms
A.S.Troelstra
The paper discusses the transition from informal concepts to
mathematically precise notions; examples are given, and in some
detail the case of lawless sequences, a concept of intuitionistic
mathematics, is discussed. A final section comments on philo
sophical discussions concerning intuitionistic logic in connection
with a ``theory of meaning''.