累积层次

累积层次

我目前正在为公理集合论课程写一些笔记,我想用大 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}

相关内容