特に自己認識論理式Tの展開は、T{\displaystyleT}に含まれる全ての部分論理式◻F{\displaystyle\BoxF}についてこの指定をする。
特别是，自动认识公式T{\displaystyleT}的展开对在T{\displaystyleT}中包含的所有子公式◻F{\displaystyle\BoxF}都做这种区分。