Арауыҡты әйберҙәрҙең йәшәү урыны һәм уларҙың хәлен көйләүсе тип иҫәпләгән, материянан айырым арауыҡ һәм ваҡыт барлығын инҡар иткән, ә ваҡытты — объекттар торошоноң эҙмә-эҙлелеген тасуирлау факторы тип иҫәпләгән. Математика үҫешенә ҙур өлөш индергән (сикһеҙ бәләкәй дәүмәлдәр төшөнсәһен индергән), иҫбатлауҙың рациональ танып белеүҙә әһәмиәтен күрһәткән. Символик һәм математик логикаға нигеҙ һалыусы тип һанала.