State/Axiom of infinity

=Metadata=