Положение, которое является исходным, недоказываемым в данной теории и из которого выводят все остальные предположения по заранее фиксированным правилам