Liste des Groupes | Revenir à s math |
On 11/15/2024 12:11 PM, Jim Burns wrote:On 11/15/2024 1:24 PM, Ross Finlayson wrote:On 11/15/2024 10:05 AM, Ross Finlayson wrote:
...a finite sequence of claims ABOUT>>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.
A fragment, then.
Les messages affichés proviennent d'usenet.