Fondements des mathématiques : divers