Liste des Groupes | Revenir à s math |
On 11/15/2024 1:24 PM, Ross Finlayson wrote:A fragment, then.On 11/15/2024 10:05 AM, Ross Finlayson wrote:>On 11/15/2024 09:55 AM, Jim Burns wrote:>[...]>
Non-standard models of integers exist."A restriction of comprehension is not a truth.">
A finite sequence of claims, each claim of which
is true.or.not.first.false, is
a finite sequence of claims, each claim of which
is true.
>
>
Les messages affichés proviennent d'usenet.