数理逻辑学习笔记[5] #20211027

NoSuchKey