Philosophy:Incomplete (logic)