IGNORANTUS IGNORANTA IGNORANTUM

AJOUT AU PARAGRAPHE IV : La possibilité de définir une bijection entre les entiers strictement positifs et les nombres premiers est axiomatiquement décidable, puisqu'il est triviale de démontrer que tout premier a un successeur dans l'ensemble des nombres premiers, mais algorithmiquement indécidable du point de vue du transfini puisque l'ordre d'un tel problème est subfactoriel. C'est là-même la raison pour laquelle dans la pratique quotidienne les nombres premiers suffisamment grands sont utilisés comme clefs en matière de cryptographie, notamment au niveau des communications par le biais d'internet.