Der Gödelschen #unvollstaendigkeitssatz
besagt, dass es in jedem formalen System, das hinreichend mächtig ist, um die Arithmetik auszudrücken, #Aussagen gibt, die weder #beweisbar noch #widerlegbar sind. Anders ausgedrückt, es gibt Dinge, die #wahr sind, aber nicht #bewiesen werden können. Der Satz wurde von Kurt Gödel im Jahr 1931 #bewiesen und hat wichtige Auswirkungen auf die #Mathematik und die #Philosophie

Art. 16 Abs. 2 GG
#Auslieferung

Art. 16 Abs. 2 S. 2 wurde mit #Reform 2000 hinzugefügt. Vorher galt entsprechend S.1 ein #absolutes #Auslieferungsverbot für #Deutsche.

#Sachlicher #Schutzbereich
-> #Amtliche #Überstellung einer #Person aus dem #Hoheitsbereich der #BRD auf #Ersuchen der und an die #Organe eines #auswärtigen #Staates;

-> #Problem der #Rechtsstaatlichkeit #Ungarn; #Polen, #Bulgarien: #Grundsatz des #Vertrauens in #EU #widerlegbar

#Vorlesung 25,2
#Grundrechte #Nußberger