Sergei Artemov - Missing Proofs and the Provability of Consistency (Gödel Conference) https://www.youtube.com/watch?v=Nw4nERAqi2U Happy Holiday Season to everyone! -------------- next part -------------- An HTML attachment was scrubbed... URL: </pipermail/fom/attachments/20211224/9c661ef4/attachment.html>