Karel Louis de Bouvère

• A method in proofs of undefinability