axiom for dependency

例句：

1. 1. The axiom of infinity is thatthere are infinitely many different numbers.
   无限公理是存在无穷多个不同的数。
2. 2.The axiom of choice allows usto define the concept of probability.
   选择公理允许我们定义概率的概念。
3. 3. The axiom of non-contradictionstates that any statement cannot be both trueand false at the same time.
   非矛盾律指出任何陈述不能同时既真又假。