Respuestas al mensaje #1,335

🔧 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.

No, you're in fact in realm of pure, abstract mathematics at this point. These formalisms are a dense piece of logic (in the mathematical sense)...