⌘K

Domaines

⊢Foundations & Logic1 ℕNumber Theory2 ⊞Algebra3 ⊗Combinatorics1 △Geometry1 ◎Topology ∫Analysis ∂Diff. Equations ℙProbability & Stats1 ≈Numerical ƒApplied1 ⟨⟩Math & CS1 +School Basics ∞Recreational2

Niveau

①Collège ②Lycée1 ③Licence3 ④Master1 ⑤Recherche

Format

≡Cours ◈Explication4 ◉Analyse1 ▶Essai visuel ✎Exercice

Explorer/Foundations & Logic/Metalogic

Metalogic

Aucun article

Metamathematics Metatheorem Metatheory Metavariable Metalinguistic variable Metasyntactic variable Completeness logic Decidability logic Validity logic Tautology logic Barwise compactness theorem Lowenheimskolem theorem Lowenheim number Godels completeness theorem Original proof of godels completeness theorem Lindstroms theorem Craig interpolation Cointerpretability Equiconsistency Robinsons joint consistency theorem Lindenbaums lemma Tarskis undefinability theorem Truth predicate Semantic theory of truth + 8 de plus

∅

Pas encore d'articles dans cette catégorie — ça arrive.

Tendances

1

x + 1/x = 3, et l'échelle jusqu'à x⁵ + 1/x⁵Algebra · 7 min

2

Pourquoi les triangles aléatoires attrapent le centre du cercle une fois sur quatreProbability & Statistics · 9 min

3

Machines à vecteurs de support : la rue la plus large gagneMathematics & Computer Science · 8 min

Récents

•

Tout tournoi contient une chaîne gagnante (théorème de Rédei)Explainer · 7 min

•

Quels polynômes envoient ℚ sur ℚ ? La réponse complèteDeep dive · 11 min

Les nouveaux articles, direct dans ta boîte mail

J'accepte de recevoir des emails de Lambdia et j'ai lu la politique de confidentialité. Désinscription à tout moment.

Suivez-nous

© 2026 LambdiaMentions légales · Confidentialité · L'ebook