Des résultats d'amorçage qui amorcent vraiment
Il existe un type de résultats dans TCS généralement appelé résultats d'amorçage . En général, il a la forme Si la proposition est vraie, alors la proposition est vraie.UNEAAUNE′A′A' où et sont des propositions qui se ressemblent, et est apparemment "plus faible" que , c'est la raison pour laquelle...