Jeden z licznych filozofów szkoły lwowsko-warszawskiej, dzisiaj całkowicie zapomniany. Stało się tak pomimo jego pracy, w której udowodnił rozstrzygalność arytmetyki.