Original proof of Gödel's completeness theorem

This page lists the items of the Wikipedia article Original proof of Gödel's completeness theorem in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1360544344, with the assessment Start/Low.

Outcome	Items
deferred	11
attached	4

The gap signals of the article are S1,S2,S5,S6,S8,S9.

Item	Kind	Name	Outcome	Reason
subject	statement	Original proof of Gödel's completeness theorem	deferred until 2027-05-01	the item has the flag informal (WP9.2)
#0S97	statement	Lemma	deferred until 2027-05-01	the item has no name of its own, and the write role names it
#1PIF	statement	Reducing the theorem to formulas of degree 1	deferred until 2027-05-01	the heading names a step or a part of the text and not one item
#55XZ	statement	Extension to countable sets of formulas	deferred until 2027-05-01	the heading names a group of items
#5BPK	statement	Proving the theorem for formulas of degree 1	deferred until 2027-05-01	the heading names a step or a part of the text and not one item
#5MX3	statement	Theorem 1. Every valid formula (true in all structures) is provable.	deferred until 2027-05-01	the name has a number of its article, and a person gives the name
#7EQ0	proof	Proof	attached
#BI06	statement	Equivalence of both theorems	deferred until 2027-05-01	the heading names a group of items
#GD29	proof	Proof	attached
#GDYI	statement	Extensions	deferred until 2027-05-01	the cue heading names a section and not one item
#J33O	statement	Theorem 2. Every formula φ is either refutable or satisfiable in some structure.	deferred until 2027-05-01	the name ends with a small word or has a gap, so the name lost a part, such as math
#OJVX	statement	Extension to arbitrary sets of formulas	deferred until 2027-05-01	the heading names a group of items
#P5ZF	proof	Proof of theorem 2: first step	attached
#PA6F	proof	Statement of the theorem and its proof	attached
#S2OW	statement	Lemma	deferred until 2027-05-01	the item has no name of its own, and the write role names it

Refer to Wikipedia articles and their nodes for the other articles.