Il est pas très intéressant comme univers. C'est un peu comme Dieu_des_trous :
Tu n'as qu'un seul axiome, pas de système déductif ...
En somme, tu ne peux rien en déduire, il ne nous apprends rien, il ne prédit rien. Il ne nous dit rien sur son axiome.
Est-il logiquement cohérent ? Correspond-il au notre ? On sait pas, parce qu'en l'état on ne peut rien en faire.
Contrairement à ce que tu peux penser, dans la plupart des cas, les axiomes ne sont pas vraiment choisis arbitrairement, mais de manière à modéliser correctement l'objet que l'on veut étudier ... Par exemple un système logiquement incohérent, donc qui se contredit lui même, n'est pas intéressant, parce qu'à partir d'une incohérence on peut déduire tout ce qu'on veut ...
[^] # Re: Curieux
Posté par thoasm . En réponse au journal Système d'exploitation et religion. Évalué à 2.
Tu n'as qu'un seul axiome, pas de système déductif ...
En somme, tu ne peux rien en déduire, il ne nous apprends rien, il ne prédit rien. Il ne nous dit rien sur son axiome.
Est-il logiquement cohérent ? Correspond-il au notre ? On sait pas, parce qu'en l'état on ne peut rien en faire.
Contrairement à ce que tu peux penser, dans la plupart des cas, les axiomes ne sont pas vraiment choisis arbitrairement, mais de manière à modéliser correctement l'objet que l'on veut étudier ... Par exemple un système logiquement incohérent, donc qui se contredit lui même, n'est pas intéressant, parce qu'à partir d'une incohérence on peut déduire tout ce qu'on veut ...