https://9dok.net/document/y6emg4jn-logische-grundlagen-der-mathematik-ws.html