Telecharger Cours

Notes complémentaires sur la théorie des relations et exemples de ...

Démontrons que (?n : N |:(?m : N |:m>n)). Soit n : N. Soit m := n + 1, h Un tel m existe, il est même lui-même un nombre de N ? Voir les pro- priétés de l ...



Download