Sei X ein integres Schema von endlichem Typ über einem Körper k und P ein k-rationaler Punkt von X. Dann ist die Menge {P} abgeschlossen und man kann das Schema X entlang {P} komplettieren und erhält so ein formales Schema Z. Ein glatter formaler Keim von X in P ist ein glattes abgeschlossenes Unterschema V von Z. Diese Arbeit beschäftigt sich mit der Algebraiztität von glatten formalen Keimen. Dabei werden zunächst drei Definitionen für Algebraizität gegeben und deren Äquivalenz gezeigt. Anschließend wird ein von Jean-Benoit Bost gefundenes Kriterium für die Algebraizität erläutert und bewiesen.