Jsou diskutovány ideje, které vedly k ustavení modální logiky, kde nutnost je chápána jako dokazatelnost
