Lesniewski’s Systems Protothetic

Between the two world wars, Stanislaw Lesniewski (1886-1939), created the famous and important system of foundations of mathematics that comprises three deductive theories: Protothetic, Ontology, and Mereology. In order to combine these two systematically he constructed Protothetic - the system of `first principles'.