Analytiske dommer støttes både av Hume (som kaller det begrepskunnskap og inkluderer matte) samt Kant.
Syntetiske dommer a priori, støttes kun av Kant.
Syntetiske dommer a posteriori, støttes av Kant (som inkluderer matte) og av Hume (som kaller det faktakunnskap).