Logique infinitaire

Logique infinitaire

Commune

Rareté : Commune

La rareté la plus courante : la plupart des articles de Wikipédia deviennent des Communes.

La rareté suit la notoriété de l’article : ses lectures sur Wikipédia en français et en anglais sur un an, et le nombre de langues dans lesquelles il existe.

Ce qu’il faut savoir

Classe
Notion
Domaine
Croyances et pensée
Dans les collections
Personne ne l’a encore tirée.

Ce qu’en dit Wikipédia

Une logique infinitaire est une logique qui permet des formules infiniment longues ou des démonstrations infiniment longues. Certaines logiques infinitaires peuvent avoir des propriétés différentes de celles de la logique de premier ordre standard.

Extrait de l’article « Logique infinitaire » de Wikipédia, sous licence CC BY-SA 4.0. Lire l’article sur Wikipédia

Ouvre des boosters gratuits et ajoute Logique infinitaire à ta collection.

Jouer gratuitement

Cartes proches