Analitik bir önerme, B yükleminin A öznesinin zaten tanım olarak bir özelliği olduğu önermelerdir. Analitik önermeleri belirlerken Kant tarafından kullanılan ilk ölçüt içermedir. Bundan dolayı yüklemin kavramını elde etmenin yolu öznenin kavramını çözümlemeden geçer.