*作者注：碳酸气，就是二氧化碳的古名，它会在大约零下78.5度变成固体，也就是我们常说的干冰。在现实世界中，碳酸气的发现者是著名化学家拉瓦锡，时间是1773年。成功将碳酸气制成干冰的人是法拉第，shijian是1823年。