Ideas from 'works' by Hermann Weyl [1917], by Theme Structure

Click on the Idea Number for the full details    |     back to texts     |     expand this idea


2. Reason / D. Definition / 1. Definitions
Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification