oui, c'est facile à vérifier manuellement d'ailleurs, si la réponse c'est 0%, alors aucune réponse n'est bonne donc 0% n'est pas la solution, si la réponse c'est 25%, alors ça correspond à 50% des réponses donc il y a une contradiction, si la réponse est 50% ça correspond à 25% des réponses donc il y a une contradiction
le problème c'est que le problème est construit de telle sorte qu'il exige pour être intelligible une sortie de son propre cadre, l'énoncé demande une réflexion sur la notion même de jugement de vérité de ce dont il parle, et donc il demande une "sortie" de la définition formelle de vérité qu'il présuppose, qu'on ne peut pas juger de l'intérieur, c'est un peu cousin de ce qu'énonce le théorème de Tarski : on ne peut définir dans le langage de l'arithmétique la vérité des énoncés de ce langage