„logique mathématique" nicht gefunden