Axiom isInfinite : R -> Prop.
