| No | Rubrique | Attributs | Contenu original |
|---|---|---|---|
| ligne=95569 | |||
| M | mot=oméga-inconsistance, mot-initial=oméga-inconsistance | oméga-inconsistance | |
| CONT | tracer N | ||
| DOM | nom=mathématiques | MAT | |
| OP | math | ||
| SENS | en logique | ||
| OP1 | R3a1 | ||
| CA | categorie=N, type=non-anime, genre=F | -2 |
Retour à O.html
Informations de la version 1.0 (25 décembre 2013).