Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!aioe.org!wWi+bf82x/J4IG13ZEtRgw.user.46.165.242.75.POSTED!not-for-mail
From: Samuel DEVULDER <samuel_dot_devulder@laposte_dot_net.invalid>
Newsgroups: fr.sci.maths
Subject: =?UTF-8?Q?Re=3a_Incoh=c3=a9rence=2c_Hypocrisie_ou_incomp=c3=a9tence?=
 =?UTF-8?Q?_technique_=3f?=
Date: Sat, 18 Dec 2021 16:08:30 +0100
Organization: Aioe.org NNTP Server
Message-ID: <spkthe$1tfn$1@gioia.aioe.org>
References: <sot54i$o4f$1@shakotay.alphanet.ch> <sovqv8$48a$2@gioia.aioe.org>
 <sovsv0$amq$1@shakotay.alphanet.ch> <sovuh3$1po$2@gioia.aioe.org>
 <sovvud$82t$1@dont-email.me> <sp02jo$b55$1@gioia.aioe.org>
 <sp02rb$6e4$1@shakotay.alphanet.ch> <sp04d2$a19$1@dont-email.me>
 <1pk0qjf.1xxyyhk1adgn7aN%gd2512@free.fr> <sp1rhe$jc0$1@dont-email.me>
 <spdjlp$4il$1@gioia.aioe.org> <spdjt3$1c2$1@dont-email.me>
 <spdrf4$1emt$1@gioia.aioe.org> <spdrm1$lop$1@dont-email.me>
 <spdt5s$2st$2@gioia.aioe.org> <spf4il$75t$1@dont-email.me>
 <spg05o$191t$1@gioia.aioe.org> <spg21i$ped$1@dont-email.me>
 <spg4ch$1d7e$1@gioia.aioe.org> <spg518$fdi$1@dont-email.me>
 <sphfkf$b8c$1@gioia.aioe.org> <sphpgc$oi6$1@dont-email.me>
 <sphrf2$1sbm$1@gioia.aioe.org> <sphrkp$4kq$1@dont-email.me>
 <spi3d8$1jkq$1@gioia.aioe.org> <spiaq5$663$1@dont-email.me>
 <spj5ei$5kt$1@gioia.aioe.org> <spk735$nkr$1@dont-email.me>
 <spkbm7$42u$1@gioia.aioe.org> <spkckd$lsc$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="62967"; posting-host="wWi+bf82x/J4IG13ZEtRgw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Thunderbird/91.4.0
Content-Language: fr
X-Antivirus: Avast (VPS 211218-0, 18/12/2021), Outbound message
X-Notice: Filtered by postfilter v. 0.9.2
X-Antivirus-Status: Clean

Le 18/12/2021 à 11:19, Le Loup Blanc de Usenet a écrit :

> croire, c'est affirmer comme vérité ce dont on n'en a pas la preuve, a partir du
> moment ou on a la preuve, on sait...

C'est toujours pas une définition exploitable formellement. Tu te bases 
sur une logique d'ordre supérieure pour manipuler les "preuves" 
formellement ? Encore une fois, on ne sait pas dans quel système 
d'axiomes tu te places.

> l'athée par exemple 

Undefined symbol "athée".
Redo ?

> n'a pas la preuve que les esprits n'existe pas, 

Undefined symbol "esprit".
Redo ? no.

Define esprits = set{x in World / esprit(x) }
Error(s) in definition:
- Undefined symbol "World".
- Undefined predicate "esprit/1".

Bon bahhhh on est pas rendu.