Метод построения научной теории, при котором в основу кладутся некоторые исходные предложения, принимаемые без доказательства, а все остальные предложения получаются как логические следствия из них называется ...