An a-priori-true proposition is such that it’s impossible to imagine alternatives. For example, the proposition that time has 1 dimension is a-priori true because it’s impossible to imagine time having 0 dimensions, 2 dimensions, etc. Contrasts with a posteriori.