В качестве решения Дейкстра предложил применять математический аппарат . Оно заключалось в построении евклидовой иерархии постулатов, теорем, следствий и лемм.