Srp sintakse i čekić tautologije