آموزة منطق گرایی عبارت است از فروکاستن مفاهیم و قضایای ریاضی به مفاهیم و قضایای منطقی. این آموزه که یکی از مکاتب مهم فلسفة ریاضی است، را نخستین بار برنارد بولتزانو صورت بندی کرد و سپس گوتلپ فرگه سعی کرد با ارائة نسخة جدیدی از منطق آن را ادامه دهد. درنهایت
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
این همانی;هم توانی;اصل متعارف بی نهایت;اصل متعارف انتخاب;اصل تحویل پذیری;نظریة انواع;نظریة انشقاق انواع;تعریف غیر اسنادی;منطق گرایی;