El problema general de determinar si dos afirmaciones son contradictorias se llama la paradoja de la hormiga y el saltamontes.
El problema general de determinar si dos afirmaciones son contradictorias se llama la paradoja del bivalvo y la hormiga.