Peano arithmetic is enough, because Peano arithmetic encodes computation

Létrehozva 1mo | 2025. jún. 14. 7:30:13


Jelentkezéshez jelentkezzen be