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'
(id=99574494 ; fe=Axiomatisation ; type=1 ; niveau=200 ; luminosité=25 ; somme entrante=1063 creation date=2022-12-09 touchdate=2025-10-28 17:11:34.000)
≈ 84 relations sortantes

  1. Axiomatisation -- r_hypo #8: 15 / 1 -> théorie des ensembles de Zermelo-Fraenkel
    n1=Axiomatisation | n2=théorie des ensembles de Zermelo-Fraenkel | rel=r_hypo | relid=8 | w=15
  2. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation alternative
    n1=Axiomatisation | n2=axiomatisation alternative | rel=r_hypo | relid=8 | w=5
  3. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de Bernays-Gödel
    n1=Axiomatisation | n2=axiomatisation de Bernays-Gödel | rel=r_hypo | relid=8 | w=5
  4. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de Homotopy Type Theory
    n1=Axiomatisation | n2=axiomatisation de Homotopy Type Theory | rel=r_hypo | relid=8 | w=5
  5. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de HoTT
    n1=Axiomatisation | n2=axiomatisation de HoTT | rel=r_hypo | relid=8 | w=5
  6. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la logique
    n1=Axiomatisation | n2=axiomatisation de la logique | rel=r_hypo | relid=8 | w=5
  7. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la physique
    n1=Axiomatisation | n2=axiomatisation de la physique | rel=r_hypo | relid=8 | w=5
  8. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des catégories
    n1=Axiomatisation | n2=axiomatisation de la théorie des catégories | rel=r_hypo | relid=8 | w=5
  9. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles | rel=r_hypo | relid=8 | w=5
  10. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de Bernays-Gödel
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de Bernays-Gödel | rel=r_hypo | relid=8 | w=5
  11. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de Grothendieck
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de Grothendieck | rel=r_hypo | relid=8 | w=5
  12. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de HoTT
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de HoTT | rel=r_hypo | relid=8 | w=5
  13. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de la théorie des catégories
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de la théorie des catégories | rel=r_hypo | relid=8 | w=5
  14. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de la théorie des ensembles de Bernays-Gödel
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de la théorie des ensembles de Bernays-Gödel | rel=r_hypo | relid=8 | w=5
  15. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de la théorie des ensembles de Grothendieck
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de la théorie des ensembles de Grothendieck | rel=r_hypo | relid=8 | w=5
  16. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de la théorie des ensembles de HoTT
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de la théorie des ensembles de HoTT | rel=r_hypo | relid=8 | w=5
  17. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de la théorie des ensembles de la théorie des catégories
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de la théorie des ensembles de la théorie des catégories | rel=r_hypo | relid=8 | w=5
  18. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de la théorie des ensembles de la théorie des topos
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de la théorie des ensembles de la théorie des topos | rel=r_hypo | relid=8 | w=5
  19. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de la théorie des ensembles de Lawvere
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de la théorie des ensembles de Lawvere | rel=r_hypo | relid=8 | w=5
  20. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de la théorie des ensembles de Mac Lane
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de la théorie des ensembles de Mac Lane | rel=r_hypo | relid=8 | w=5
  21. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de la théorie des ensembles de Martin-Löf
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de la théorie des ensembles de Martin-Löf | rel=r_hypo | relid=8 | w=5
  22. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de la théorie des ensembles de Morse-Kelley
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de la théorie des ensembles de Morse-Kelley | rel=r_hypo | relid=8 | w=5
  23. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de la théorie des ensembles de NBG
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de la théorie des ensembles de NBG | rel=r_hypo | relid=8 | w=5
  24. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de la théorie des ensembles de Tarski-Grothendieck
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de la théorie des ensembles de Tarski-Grothendieck | rel=r_hypo | relid=8 | w=5
  25. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de la théorie des ensembles de topos
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de la théorie des ensembles de topos | rel=r_hypo | relid=8 | w=5
  26. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de la théorie des ensembles de topos de Grothendieck
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de la théorie des ensembles de topos de Grothendieck | rel=r_hypo | relid=8 | w=5
  27. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de la théorie des ensembles de ZF
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de la théorie des ensembles de ZF | rel=r_hypo | relid=8 | w=5
  28. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de la théorie des ensembles de ZFC
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de la théorie des ensembles de ZFC | rel=r_hypo | relid=8 | w=5
  29. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de la théorie des topos
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de la théorie des topos | rel=r_hypo | relid=8 | w=5
  30. Axiomatisation -- r_hypo #8: 5 / 0.333 -> 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
  31. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de Mac Lane
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de Mac Lane | rel=r_hypo | relid=8 | w=5
  32. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de Martin-Löf
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de Martin-Löf | rel=r_hypo | relid=8 | w=5
  33. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de Morse-Kelley
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de Morse-Kelley | rel=r_hypo | relid=8 | w=5
  34. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de NBG
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de NBG | rel=r_hypo | relid=8 | w=5
  35. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de Tarski-Grothendieck
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de Tarski-Grothendieck | rel=r_hypo | relid=8 | w=5
  36. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de topos
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de topos | rel=r_hypo | relid=8 | w=5
  37. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de ZF
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de ZF | rel=r_hypo | relid=8 | w=5
  38. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des ensembles de ZFC
    n1=Axiomatisation | n2=axiomatisation de la théorie des ensembles de ZFC | rel=r_hypo | relid=8 | w=5
  39. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de la théorie des topos
    n1=Axiomatisation | n2=axiomatisation de la théorie des topos | rel=r_hypo | relid=8 | w=5
  40. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de Lawvere
    n1=Axiomatisation | n2=axiomatisation de Lawvere | rel=r_hypo | relid=8 | w=5
  41. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de Mac Lane
    n1=Axiomatisation | n2=axiomatisation de Mac Lane | rel=r_hypo | relid=8 | w=5
  42. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de Martin-Löf
    n1=Axiomatisation | n2=axiomatisation de Martin-Löf | rel=r_hypo | relid=8 | w=5
  43. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de Morse-Kelley
    n1=Axiomatisation | n2=axiomatisation de Morse-Kelley | rel=r_hypo | relid=8 | w=5
  44. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de NBG
    n1=Axiomatisation | n2=axiomatisation de NBG | rel=r_hypo | relid=8 | w=5
  45. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de Peano
    n1=Axiomatisation | n2=axiomatisation de Peano | rel=r_hypo | relid=8 | w=5
  46. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de Quine
    n1=Axiomatisation | n2=axiomatisation de Quine | rel=r_hypo | relid=8 | w=5
  47. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de Tarski-Grothendieck
    n1=Axiomatisation | n2=axiomatisation de Tarski-Grothendieck | rel=r_hypo | relid=8 | w=5
  48. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de ZF
    n1=Axiomatisation | n2=axiomatisation de ZF | rel=r_hypo | relid=8 | w=5
  49. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation de ZFC
    n1=Axiomatisation | n2=axiomatisation de ZFC | rel=r_hypo | relid=8 | w=5
  50. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des bases de données
    n1=Axiomatisation | n2=axiomatisation des bases de données | rel=r_hypo | relid=8 | w=5
  51. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des ensembles
    n1=Axiomatisation | n2=axiomatisation des ensembles | rel=r_hypo | relid=8 | w=5
  52. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des langages de programmation
    n1=Axiomatisation | n2=axiomatisation des langages de programmation | rel=r_hypo | relid=8 | w=5
  53. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des mathématiques
    n1=Axiomatisation | n2=axiomatisation des mathématiques | rel=r_hypo | relid=8 | w=5
  54. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des probabilités
    n1=Axiomatisation | n2=axiomatisation des probabilités | rel=r_hypo | relid=8 | w=5
  55. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des sciences sociales
    n1=Axiomatisation | n2=axiomatisation des sciences sociales | rel=r_hypo | relid=8 | w=5
  56. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes abductifs
    n1=Axiomatisation | n2=axiomatisation des systèmes abductifs | rel=r_hypo | relid=8 | w=5
  57. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes aléatoires
    n1=Axiomatisation | n2=axiomatisation des systèmes aléatoires | rel=r_hypo | relid=8 | w=5
  58. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes artificiels
    n1=Axiomatisation | n2=axiomatisation des systèmes artificiels | rel=r_hypo | relid=8 | w=5
  59. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes biologiques
    n1=Axiomatisation | n2=axiomatisation des systèmes biologiques | rel=r_hypo | relid=8 | w=5
  60. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes chaotiques
    n1=Axiomatisation | n2=axiomatisation des systèmes chaotiques | rel=r_hypo | relid=8 | w=5
  61. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes chimiques
    n1=Axiomatisation | n2=axiomatisation des systèmes chimiques | rel=r_hypo | relid=8 | w=5
  62. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes complexes
    n1=Axiomatisation | n2=axiomatisation des systèmes complexes | rel=r_hypo | relid=8 | w=5
  63. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes continus
    n1=Axiomatisation | n2=axiomatisation des systèmes continus | rel=r_hypo | relid=8 | w=5
  64. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes de preuve
    n1=Axiomatisation | n2=axiomatisation des systèmes de preuve | rel=r_hypo | relid=8 | w=5
  65. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes déductifs
    n1=Axiomatisation | n2=axiomatisation des systèmes déductifs | rel=r_hypo | relid=8 | w=5
  66. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes déterministes
    n1=Axiomatisation | n2=axiomatisation des systèmes déterministes | rel=r_hypo | relid=8 | w=5
  67. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes discrets
    n1=Axiomatisation | n2=axiomatisation des systèmes discrets | rel=r_hypo | relid=8 | w=5
  68. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes dynamiques
    n1=Axiomatisation | n2=axiomatisation des systèmes dynamiques | rel=r_hypo | relid=8 | w=5
  69. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes économiques
    n1=Axiomatisation | n2=axiomatisation des systèmes économiques | rel=r_hypo | relid=8 | w=5
  70. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes formels
    n1=Axiomatisation | n2=axiomatisation des systèmes formels | rel=r_hypo | relid=8 | w=5
  71. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes inductifs
    n1=Axiomatisation | n2=axiomatisation des systèmes inductifs | rel=r_hypo | relid=8 | w=5
  72. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes informatiques
    n1=Axiomatisation | n2=axiomatisation des systèmes informatiques | rel=r_hypo | relid=8 | w=5
  73. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes juridiques
    n1=Axiomatisation | n2=axiomatisation des systèmes juridiques | rel=r_hypo | relid=8 | w=5
  74. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes linéaires
    n1=Axiomatisation | n2=axiomatisation des systèmes linéaires | rel=r_hypo | relid=8 | w=5
  75. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes logiques
    n1=Axiomatisation | n2=axiomatisation des systèmes logiques | rel=r_hypo | relid=8 | w=5
  76. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes naturels
    n1=Axiomatisation | n2=axiomatisation des systèmes naturels | rel=r_hypo | relid=8 | w=5
  77. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes non linéaires
    n1=Axiomatisation | n2=axiomatisation des systèmes non linéaires | rel=r_hypo | relid=8 | w=5
  78. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes physiques
    n1=Axiomatisation | n2=axiomatisation des systèmes physiques | rel=r_hypo | relid=8 | w=5
  79. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes politiques
    n1=Axiomatisation | n2=axiomatisation des systèmes politiques | rel=r_hypo | relid=8 | w=5
  80. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes probabilistes
    n1=Axiomatisation | n2=axiomatisation des systèmes probabilistes | rel=r_hypo | relid=8 | w=5
  81. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes simples
    n1=Axiomatisation | n2=axiomatisation des systèmes simples | rel=r_hypo | relid=8 | w=5
  82. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des systèmes statiques
    n1=Axiomatisation | n2=axiomatisation des systèmes statiques | rel=r_hypo | relid=8 | w=5
  83. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des théories linguistiques
    n1=Axiomatisation | n2=axiomatisation des théories linguistiques | rel=r_hypo | relid=8 | w=5
  84. Axiomatisation -- r_hypo #8: 5 / 0.333 -> axiomatisation des théories physiques
    n1=Axiomatisation | n2=axiomatisation des théories physiques | rel=r_hypo | relid=8 | w=5
≈ 1 relations entrantes

  1. procédé --- r_hypo #8: 25 --> Axiomatisation
    n1=procédé | n2=Axiomatisation | rel=r_hypo | relid=8 | w=25
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