:: deftheorem defines -inconsistentStrong FOMODEL4:def 70 :
for S being Language
for D being RuleSet of S
for X being set holds
( X is D -inconsistentStrong iff for phi being wff string of S holds phi is X,D -provable );