Lause 1: Eloisen strategia on yhtenäinen, jos aina kun kaava 114, kaava 130 on implisiittinen, jos Abelardin kaava 116 tarkoittaa kaavaa 130. Lause 2: Eloisen strategia on yhtenäinen, jos formula _ 114 on sama kuin formula _ 130; Abelardin strategia on yhtenäinen, jos formula _ 116 on sama kuin formula _ 130. Kysymys: Ilmaisevatko lause 1 ja lause 2 samaa merkitystä? - Kyllä vai ei?
- Ei, ei.