Lause 1: Eloise strateegia on üheaine, kui alati, kui formula 114, formula 130 on sisestatud, kui abelardi formula 116 sisendab formula 130. Lause 2: Eloise puhul tähendab strateegia " üheaine ", kui formula _ 114 on formula _ 130; Abelardi puhul, kui formula _ 116 on formula _ 130. Küsimus: Kas 1. ja 2. lause tähendus on sama? Jah või ei?
Ei ole.