prooftrees 中的 Tikz 图片

Question

bussproofs我对该软件包中图片的使用有疑问tikz。我在网上找到的所有信息似乎都假设人们只想在证明树中放入简单的公式。但对于我的应用程序，简短的图表是证明树的元素。

这是我目前得到的，为了简化起见，对图表进行了抽象：

\documentclass[a4paper, 10pt]{article}
\usepackage{tikz}
\usepackage{bussproofs}
\newcommand{\tikzdefault}[1]{\begin{tikzpicture}[shorten >=1pt, node distance=15mm and 12mm, semithick, every text node part/.style={align=center}] #1 \end{tikzpicture}}

\begin{document}
\tikzstyle{node} = [circle, draw, fill=white, text=black, minimum size = 5mm]
\begin{prooftree}
  \AxiomC{}
  \UnaryInfC{\begin{figure}[h]
             \scalebox{0.8}{
             \tikzdefault{
               \begin{scope}
                 \node[node] (v1) [] {$v$};
               \end{scope}
             }
             }
             \end{figure}
  }
\end{prooftree}
\end{document}

我对 LaTeX 没有太多经验，但我希望这里有人能提供解决方案。