"Logic depends upon mathematics. ...[I]ntuitive logical reasoning ...remains if ...one restricts oneself to relations of whole and part; the mathematical structures ...do not justify any priority of logical reasoning over ordinary mathematical reasoning."