想到一个很有意思的情况：
产品逻辑如果能像数学一样，在“限定的技术条件和时代背景”下，抽象若干条不证自明的公理，然后在这些公理基石上抽象产品世界的大厦。甚至将这些公理形式化，基于机械计算，建立一个判定产品是否能成功的“产品图灵机“（纯粹逻辑判断）。
然后在这个时候横空出现两位类似哥德尔和罗素这样的人物（哥德尔对应希尔伯特第二问题；罗素之余集合论），撼动这个限定变量（技术条件，时代背景下的用户属性）的产品形式系统。
在这之后不断涌现伟大的产品经理，产品世界的抽象逻辑层出不穷，这些逻辑不再是一致性和完备性的，而是不完备、不可证明和不可被判定的？重新构建产品世界，推动着世界的变化和革命！
这该是多么有意思啊！
