論理学なんてものは文系の化石
証明論はいちおう数学基礎論の一分野