Peano arithmetic is enough, because Peano arithmetic encodes computation

Utworzony 24h | 14 cze 2025, 07:30:13


Zaloguj się, aby dodać komentarz