In dem Sinne V in welchem (a + b)² = a² + b² + 2ab durch AI, AII etc. beweisbar ist, ist AI unbeweisbar || unbewiesen.