Original sentence: Logical positivists' response to the first criticism is that logical positivism is a philosophy of science, not an axiomatic system that can prove its own consistency (see Gödel's incompleteness theorem)
Edited sentence: Logical positivists' response to the first criticism is that logical positivism is a philosophy of science, not an axiomatic system that can prove its own consistency (see Gödel's incompleteness theorem which undercut this program)