Aksjomatyka Jedną z możliwych aksjomatyk mereologii Leśniewski wyłożył w 1930: Aksjomaty: jeżeli P jest częścią przedmiotu Q, to Q nie jest częścią przedmiotu P; jeżeli P jest częścią przedmiotu Q, oraz Q jest częścią przedmiotu R, to P jest częścią przedmiotu R; jeżeli każde a jest tym samym przedmiotem, co P, lub częścią przedmiotu P, każde a jest tym samym przedmiotem, co Q, lub częścią przedmiotu Q, i przy wszelkim R – jeśli R jest częścią przedmiotu P, lub R jest częścią przedmiotu Q, to pewien przedmiot, będący tym samym przedmiotem, co R, lub częścią przedmiotu R, jest a lub jest częścią pewnego a – to P jest Q; jeżeli pewien przedmiot jest a, to dla pewnego P: (a) przy wszelkim Q, jeżeli Q jest a, to Q jest tym samym przedmiotem, co P, lub jest częścią przedmiotu P i (b) przy wszelkim Q, jeżeli Q jest częścią przedmiotu P, to pewien przedmiot, będący tym samym przedmiotem, co Q, lub częścią przedmiotu Q, jest a lub jest częścią pewnego a. Definicje (ingrediensu, czyli elementu, i klasy): P jest ingrediensem Q wtedy i tylko wtedy, gdy P jest tym samym przedmiotem, co Q, lub jest częścią Q; P jest klasą przedmiotów a wtedy i tylko wtedy, gdy (a) P jest przedmiotem, (b) przy wszelkim Q – jeżeli Q jest a, to Q jest ingrediensem przedmiotu P i (c) przy wszelkim Q – jeżeli Q jest ingrediensem przedmiotu P, to pewien