O princípio de verificação dos positivistas lógicos afirma que o significado de uma sentença está diretamente ligado ao seu método de verificação, ou seja, uma sentença só é considerada significativa se for possível verificar sua verdade por meio de uma experiência ou observação. Portanto, a alternativa correta é: o significado de uma sentença consiste em seu método de verificação. Leis matemáticas, por exemplo, não são verificáveis empiricamente, mas são consideradas tautologias dentro da lógica.