lazi.1.0
Lazi.1.0 désigne la mathématique définie en lazi.0.1 "lazi_1_0" (voir "Vue générale de la définition de lazi" ou les sources). lazi_1_0 est le type des déductions lazi.1.0.
Lazi
- Accueil
- Contact
- Lexique
- argument minimal ou maximal d'une formule
- arguments d'une formule
- Calcul ▶
- chemin mathématique (absolu ou relatif)
- chemin mathématique de calcul
- conditionnel
- ctruth, vérité condionnelle, $CT[ (...) ⊢ x ]
- décomposition d'une formule
- extensible
- fonction constante par calcul
- fonction minimale ou maximale d'une formule
- fonction non constante par calcul
- fonctions d'une formule
- Lazi ▶
- logique de niveau 0
- logique de niveau 1
- mathématique extension de M
- mathématique (lazi,pré-,minimale)
- n-formules
- notation étoile égalité
- preuve normalisée
- profondeur d'une formule
- SFP ▶
- sous-formule (stricte)
- type étendu par union
- utilisé dans le calcul
- Organisation
- Présentation
- Réalisations
- Recherche
- Suivi des tâches