Frankl Faible en supposant l'axiome de Martin

voir pj

L'axiome de Martin autorise l'intersection d'une famille strictement plus petite que le continu d'événement certains, à être un événement certain, inutile de le comprendre, du moment qu'on utilise cette propriété.
(d'après Anatole, MA => Frankl faible équivaut à Frankl Faible)


voici le lien wiki sur cet axiome (M.A.)
https://fr.wikipedia.org/wiki/Axiome_de_Martin
voici le lien sur la conjectue de Frankl, dont je tente en pj de démontrer une version plus faible, notons que j'utilise la traduction "treillis" de cette conjecture... https://fr.wikipedia.org/wiki/Conjecture_des_familles_stables_par_unions

Tentative de demo en pj (où les définitions nécéssaires sont données)

[coquilles initiales corrigées dans la pj jointe]