Provided the family F of sets of premises is made free of only containing finite sets, since it always exist Inf and, bounding P to verify Inf P— .InfP/0 ...
確定! 回上一頁