Peano arithmetic is enough, because Peano arithmetic encodes computation

Établi 24d | 14 juin 2025, 07:30:13


Connectez-vous pour ajouter un commentaire