Probably the first talk where I explicitly said that I am working on new foundations of mathematics