Über die Bausteine der mathematischen Logik