metafiziğin konusu olan ontolojik kategorilere ilişkin önermelerdir. Dolayısıyla kategori adlarını içerirler. Ancak bu önermeler, gerek biçimsel gerekse deneysel bilimlere ait önermelerin arasında yer almazlar. Mantıksal doğru olmadıklarından analitik a priori, deneysel bilimlerin doğruları olmadığından da sentetik a posteriori değillerdir. Bu durumda, bazı matematiksel doğru önermeler de sentetik a priori kabul edildiği için, metafizik önermelerin, kategorilere ilişkin matematiksel-olmayan sentetik a priori doğrular olduğunu söyleyebiliriz.
