6.23
Si deux propositions sont mises en connexion par le signe d’égalité, cela veut dire qu’elles sont mutuellement substituables. Mais si c’est le cas, les deux expressions mêmes doivent le montrer.
Continuer
- 6.231 C'est une propriété de l'affirmation que l'on puisse la concevoir comme double négation.
- 6.232 Frege dit que les deux expressions ont même signification
- 6.233 À la question de savoir si l'on a besoin de l'intuition pour résoudre un problème de mathématiques,…
- 6.234 La mathématique est une méthode de la logique.