چیز
چیز به معنی شیء، پدیده، یا موضوع است و می‌تواند به‌طور عام به هر موجود، موضوع یا حالت اشاره داشته باشد.
جمله (منطق ریاضی)
به مجموعه‌ای از جمله‌ها یک نظریه گفته می‌شود؛ از این رو جمله‌های منفرد را می‌توان قضیه نامید. برای آنکه به خوبی، درستی یا (نادرستی) یک جمله را ارزیابی کرد، باید ارجاعی به تفسیر برای یک نظریه ایجاد کرد. برای نظریه مرتبه اول، معمولاً تفسیرها ساختار نامیده می‌شوند. اگر یک ساختار یا تفسیر داده شده باشد، یک جمله یک مقدار درستی ثابت خواهد داشت. یک نظریه موقعی برآورده‌پذیر است که امکان ارائه یک تفسیر موجود باشد، که در آن تفسیر، همه جمله‌ها مقدار «درست» دارند. مطالعه الگوریتم‌ها برای کشف خودکار تفسیر نظریه‌ها، که همه «جمله‌های درست» را تحویل می‌دهد، مسئله «نظریه‌ها به پیمانه برآورده‌پذیری» نامیده می‌شود.