کلیدواژه: منطق ، الاهیات ، برهان پذیری ، گزاره ضرور ازلی ، منطق موجهات (Modal Logic) ، منطق آزاد (Free Logic) ، نحو (Syntax) ، معنا (Semantic)