Законы логики исключенного третьего достаточного основания