Постулаты

"Постулат" — утверждение, принимаемое истинным без доказательства, а также как «фундамент» для построения доказательств.

Набор постулатов называется непротиворечивым, если из пастулата набора, пользуясь правилами логики, нельзя прийти к противоречию, то есть доказать одновременно и некое утверждение и его отрицание. Пастулаты являются своего рода фактами для построения любой науки, при этом сами они не доказываются, а выводятся непосредственно из опыта.