قضیههای ناتمامیت گودلGödel's incompleteness theoremsواژههای مصوب فرهنگستاندو قضیه در منطق ریاضی، دربارة محدودیت اثباتپذیری در نظریههای اصلموضوعی صوری
پای عدللغتنامه دهخداپای عدل . [ ی ِ ع َ ] (ترکیب اضافی ، اِ مرکب ) کنایه از قوت و قدرت و شفاعت عدل باشد. (تتمه ٔ برهان ).
یاختۀ هادلیHadley cellواژههای مصوب فرهنگستانیاختۀ گردشی ازنظر گرمایی مستقیم در صفحۀ نصفالنهاری که جورج هادلی در سال 1735 برای توضیح بادهای بسامان مطرح کرد
زبانهای هستهآغازhead-first languages, head-initial languagesواژههای مصوب فرهنگستانزبانهایی که در آنها هستۀ گروه در ابتدای آن قرار میگیرد