Theorems and open problems that concern decidable sets X⊆N and cannot be formulated in the formal language of mathematics as they refer to the current knowledge on X
HAL (Le Centre pour la Communication Scientifique Directe)