Mathematics and logic. A brief survey serving as a preface to a review of “The Philosophy of (1946)

by H Weyl