Concepts and Axioms
A.S. Troelstra

Abstract:
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''.