Liste des Groupes | Revenir à s logic |
On 2/9/2025 4:33 AM, Mikko wrote:On 2025-02-08 15:32:00 +0000, olcott said:
Do you know the difference between "becomes" and "remains"?Of course, completness can be achieved if language is sufficientlyThis does not make any sense to me. It is not that truth remains inexpressible.
restricted so that sufficiently many arithemtic truths become inexpressible.
Les messages affichés proviennent d'usenet.