Noun
(logic, philosophy) An unverifiable statement.
(programming) A construct resembling a statement that is not a true statement.