SMS dit: Tractatus Logicus In quatuor partes divisus