Алланың барлығын өлөшләтә булһа ла иҫбатлар өсөн эмпирик күҙәтеүҙәргә һәм логикаға нигеҙләнгән дәлилдәр килтереү Алланың йәшәйешен иҫбатлау тип атау ҡабул ителгән. Уларҙы дүрт ҙур төркөмгәxa0— метафизик, эмпирик, логик һәм субъективтарға бүлергә мөмкин.