Peano arithmetic is enough, because Peano arithmetic encodes computation

Creado 24h | 14 jun 2025, 7:30:13


Inicia sesión para agregar comentarios