 Some, including logical empiriist Carl Hempel, argued for its possibility, anyway.After all, nonEuclidean geometry had shown that even geometry's truth via axioms occurs among postulates, by definition unproved.Meanwhile, as to mere formalism, rather, which coverts everyday talk into logical forms, but does not "reduce" it to logic, neopositivists, despite accepting hypotheticodeductivist theory development, upheld symbolic logic as the language to justify, by verification or confirmation, its results.