Javascript doit fonctionner ! Activez-le et rechargez cette page.
Le Rézo de JeuxDeMots
• Types de relations
• Types de noeuds
• Consolider
le terme
  Options  
             

  Filtrage type relations : +   - (ex: 4, 12, 18, 36, 444, 555, 777)
  Filtrage valeur :          min   max
  Filtrage type noeuds :   +   - (ex: 4, 6, 8, 9, 10, 12, 18, 36, 444, 555, 777)

  Présentation de sortie :   (ex: -rien-, cloud, nicecloud)
 

'axiomatisation de la théorie des ensembles de Lawvere'
(id=261764431 ; fe=axiomatisation de la théorie des ensembles de Lawvere ; type=1 ; niveau=200 ; luminosité=25 ; somme entrante=30 creation date=2024-02-05 touchdate=2025-07-16 12:52:42.000)
≈ 0 relations sortantes

    		≈ 2 relations entrantes

    1. axiomatisation --- r_hypo #8: 25 --> axiomatisation de la théorie des ensembles de Lawvere
      n1=axiomatisation | n2=axiomatisation de la théorie des ensembles de Lawvere | rel=r_hypo | relid=8 | w=25
    2. Axiomatisation --- r_hypo #8: 5 --> axiomatisation de la théorie des ensembles de Lawvere
      n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de Lawvere | rel=r_hypo | relid=8 | w=5
    Le service Rézo permet d'énumérer les relations existant pour un terme. Ce service est interrogeable par programme.
    Projet JeuxDeMots - url: http://www.jeuxdemots.org
    contact: mathieu.lafourcade@lirmm.fr