数理逻辑之 命题

NoSuchKey