تاربرگ‌های پیموده‌شده در این نشست: ‫‪Marshall‬‬ ‫‪Harvey‬‬ ‫‪Stone‬‬ ⟩ Controversial formulas in Quantified Modal Logic ⟩ Gödel's first incompleteness theorem