Über Unabhängigkeitsbeweise im Aussagenkalkül