我目前正在为公理集合论课程写一些笔记,我想用大 V 来描绘集合论宇宙的图形表示。你能推荐一些 overleaf 包/代码给我吗?
答案1
作为在 Ti 中你可以快速实现的目标的示例钾Z,这是评论中链接的冯诺依曼宇宙的图片。
\documentclass[tikz,border=3.14mm]{standalone}
\begin{document}
\begin{tikzpicture}
\def\nangle{50} \def\r{10} \def\mygreen{green!50!black}
\foreach \i/\lbl in {
1/1,
2/2,
3/3,
4/4,
5/5,
8/\omega,
9/\omega+1,
10/\omega+2,
14/2\omega,
16/3\omega,
20/\omega\times\omega}
{
\draw[\mygreen, line width=2pt] (90+0.5*\nangle:0.05*\r*\i) arc (90+0.5*\nangle:90-0.5*\nangle:0.05*\r*\i) node[black, below right] (\i) {$V_{\lbl}$};
}
\path (1) -- (20.-135) node[pos=-0.09] {$V_0$} node[pos=0.275,sloped] {$\dots$} node[pos=0.575,sloped] {$\dots$} node[pos=0.925,sloped] {$\dots$};
\draw[blue, line width=3pt, cap=butt, rounded corners] (90+0.5*\nangle:1.1*\r) -- (0,0) node[yshift=3pt,fill=\mygreen,circle,minimum size=6pt, inner sep=0pt] {} -- (90-0.5*\nangle:1.1*\r);
\end{tikzpicture}
\end{document}