Infinite sequences in the framework of classical logic

Abstract

Infinite sequences are considered in the framework of classical logic from a new point of view.