형식 증명이라는 과정에서 위화감이 느껴지네요

다양한 책을 참고하는데, 책마다도 또 표기가 다르고.. 음 가장 대중적으로 받아들여지는 형식 증명 방식은 어떤 건지 궁금하네요