Respuestas al mensaje #97

🔧 Site instability resolved. You can report double-posts and broken attachments. For bigger issues, use the Technical Grievances thread.
🇵🇦 Nuestro primer dominio localizado está en español en kiwifarms.pa. Our first localized domain is on Spanish on kiwifarms.pa.

I think any mathematical foundation is going to come along with "nonsense" baggage though by the time you build up a model of the natural numbers...