証明を自然言語を使わずに記述する存在する方法論はありますか？
あったらそれについておしえてください。