非逻辑形式生命

已知所有定理公式，皆由逻辑这一证明形式进行论证，非逻辑所能，则定为公理。

逻辑虽非最高效证明形式，却是最正确的（人类看来），而正确能够不断延伸，形成人类智慧链，其他生物尚未掌握逻辑这一证明形式。

逻辑是否最顶级证明形式，目前无从定论，人类生活在逻辑规则之下，若有其他非逻辑证明形式出现，须先以逻辑证明之，方能被人类理解，（若其能以逻辑证明，则其尚属于逻辑范畴），若不能以逻辑证明，则人类既理解不了，也无法感知其存在。

地球生物千千万，它们理解不了人类之逻辑，而凌驾于逻辑之上（或之下）的非逻辑形式生命，则很难被人类发现。