锑亚诺公理：
1.数字与字母公理：元素/物质一律使用字母/汉字或者相关的数字来表示。
2.合成公理：如果假设物质x和物质y合成了物质z，那么可以说x和y进行了某种“运算”使得z符合“x与y进行某种运算”所得到的结果。
3.互存公理：如果x存在，而且y存在，那么任意一种运算（合成方式）F(x,y)也存在。如果在某种集合中不存在，那么定义z不属于该集合使得z=F(x,y)。
4.互斥公理：如果x已被定义，不存在某种F(x)使得F(x)=x。注意这里的F(x)不是数学上的函数而是超理上某种过程。这样就避免了循环证明。
5.无穷物质公理：物质是无穷无尽的。
——————————————————
就先定义到这。如果有什么漏洞欢迎帮忙修补。用这种方式可以定义所有可能存在的物质，我们管这些物质叫锑亚诺可证物质。
接下来搬出更强大的赵明毅公里体系，在这里可以证明存在非锑亚诺可证物质。
赵明毅公里体系：
1.假设公理：任何事情只要你假设是真的那就是真的。
2.解释公理： 任何真的事情必须有一个解释。如果一件事情无法解释，那一定是假的。解释可以包括假设。
3.矛盾公理：如果任意两种真的事情出现了矛盾，例如一种事情解释了另一种事情是假的，一定存在两种不同的解释，来使两种事情都是真的。这两种解释一定互相独立。
4.链式定理：如果一件事件不是真的，那么如果用它解释另外一件事情，另外一件事情一定不是真的。反之亦然。