Let's call a consistent first-order sentence without finite models an axiom of infinity. Can we somehow describe the axioms of infinity?
確定! 回上一頁