اللغات الفرعية القابلة للتقرير في نظرية المجموعات

في المنطق الرياضي ، تُعتبر العديد من اللغات الفرعية لنظرية المجموعات قابلة للتقرير . ^{[ 1 ] [ 2 ]} ويُشار إليها باسم القياس المنطقي. وتشمل اللغات القابلة للتقرير، إلى جانب عمليات جبر المجموعات ، ما يلي:

• مجموعات ذات دوال رتيبة، وجمعية، وضربية، ولكن بدون محددات كمية. ^{[ 3 ]}
• مجموعات ذات محددات كمية مقيدة. ^{[ 4 ]}