المنطق هو أحد فروع العلم ويعد واحدا من المجالات الهامة والرئيسية في العلم. يساعد العلماء على تحقيق تجاربهم ودراساتهم ومنهم. Stanislaw  Leśniewski  (1889-1939) وهو ذلك العالم الكبير الذى يعتبر أحد أبرز المؤسسين البولنديين لمدرسة وارسو للمنطق. يُعد العالم البولندي الشهير ستانيسلاف ليشنيفسكي (1886-1939) أحد أعظم علماء المنطق في عصره ، ليس فقط في بولندا ولكن أيضًا في العالم بسبب أبحاثه التي كان لها تأثير جيد في إثراء المكتبات العلمية بالعديد من النظريات المتنوعة في الرياضيات في جميع أبحاثه ، بذل قصارى جهده من أجل نظرية الوجود والميريولوجيا. كرس عمله وأسسه المقبولة التي تم إنكارها وتطبيقها في الرياضيات ، تحت عنوان "البحث في الرياضيات" الذي يزودنا بمفهوم يمكن اعتباره أساس الأعداد الطبيعية 1923 اتفاقيات الرياضيات الأولية 1928-1929 والتعريفات المختزلة 1933-1934..