Стратиграфия строится как дисциплина, обслуживающая геологическое картирование. Методы решения, предстваляющие собой логико- математическое уточнение традиционных стратиграфических методов, формулируются как алгоритмы, пригодные для машинной и ручной обработки. Даны определения основных понятий, удовлетворяющие требованиям формальной логики, выводимые из наблюдений. Определены понятия физического и геологического времени, рассмотрена роль в статистической и исторической геологии.