Lause 1: 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. Lause 2: Eloisen strategia on yhtenäinen jos aina Formula 114, Formula 130, jos Abelard tarkoittaa Formula 116 Formula 130. Kysymys: Ilmaisevatko lause 1 ja lause 2 samaa merkitystä? - Kyllä vai ei?
- Kyllä.