历经300多年的暗无天日，历经300年的卧薪尝胆，伟大的数理逻辑终于被证明的确是无上的真理，计算即存在呵！

世祖当年梦寐以求的工具终于为“莱布尼茨世界”所掌握，世祖的理论无往而不胜，雪耻的日子终于到了。