Peano arithmetic is enough, because Peano arithmetic encodes computation

Creată 1mo | 14 iun. 2025, 07:30:13


Autentifică-te pentru a adăuga comentarii