Stanisław Leśniewski [] foi um filósofo e matemático polonês. Sua principal contribuição foi a construção de três sistemas formais aninhados, aos quais ele deu os nomes derivados do grego de prototética, ontologia e mereologia.