Числення висловлень

Доведення теореми полягає в тому, що доводиться вивідність усіх аксіом першого числення з аксіом другого, і навпаки (з урахуванням зауважень відносно ( і ().

Яке з двох числень краще? Однозначної відповіді на це питання немає. Друге числення є більш компактним і наочним; відповідно більш компактними є доведення різних його властивостей. У той же час, у багатшому першому численні виведення різноманітних формул є, взагалі кажучи, коротшими.

Можливі й інші числення, що рівносильні двом наведеним.