Закон достаточного основания в логике: История и разработка