A kérdést álalánosítsátok, én elfelejtettem. Tehát nyilván nem csak konkrétan erről az egy tételről beszélek, hanem az érdekelne hogy általában át szabad-e járni a különböző (szemantikai, bizonyításelméleti, modellelméleti) felépítések között a bizonyítás során. Üdv, Tűz