Peano arithmetic is enough, because Peano arithmetic encodes computation

Creato 2d | 14 giu 2025, 07:30:13


Accedi per aggiungere un commento