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

green numbers give 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 [Lavine]