Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: efji <efji@efi.efji>
Newsgroups: fr.sci.maths
Subject: =?UTF-8?Q?Re=3A_Caract=C3=A8res_=C3=A0_copicoller?=
Date: Mon, 23 Sep 2024 14:13:17 +0200
Organization: A noiseless patient Spider
Lines: 20
Message-ID: <vcrm0t$2n0rr$3@dont-email.me>
References: <vcmsi1$mka$1@cabale.usenet-fr.net>
 <66f14104$0$3588$426a74cc@news.free.fr> <vcrfq0$2l1bn$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 23 Sep 2024 14:13:18 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f08a78fd6061a9fc0d7d22a798ff5719";
	logging-data="2851707"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/0lq60TWzpEY7109K5gJCe"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ltzMI2A269d1eNvteauevKtrgnI=
In-Reply-To: <vcrfq0$2l1bn$5@dont-email.me>
Content-Language: fr, en-US
Bytes: 1469

Le 23/09/2024 à 12:27, Python a écrit :
> Le 23/09/2024 à 12:20, ast a écrit :

>>
>> C'est un peu hors sujet, mais connaissez-vous un théorème qui
>> utilise le caractère ∄ ?

Ca s'utilise tout le temps.

> 
> ∄ n \in N tel que \forall p \in N, p premier => p < n

Pourquoi faire simple quand on peut faire compliqué :)

∄n∈ℕ, n=π.

Peut-on faire plus court ?

-- 
F.J.