\documentclass[12pt]{article}
\usepackage[latin1]{inputenc}
\setlength{\unitlength}{1mm}
\usepackage[pdftex]{color}
\usepackage[paperwidth=159\unitlength,paperheight=195\unitlength]{geometry}
\setlength{\topmargin}{-36mm}
\setlength{\textwidth}{154\unitlength}
\setlength{\textheight}{188\unitlength}
\setlength{\oddsidemargin}{-23mm}
\setlength{\parindent}{0cm}
\pagestyle{empty}

% colors
\definecolor{cApp}      {rgb}{0.00,0.00,0.00}   % approach name
\definecolor{cPrm}      {rgb}{0.00,0.50,0.70}   % primitives
\definecolor{cAxm}      {rgb}{0.00,0.00,0.70}   % axioms
\definecolor{cAxO}      {rgb}{0.40,0.20,0.00}   % deleted axioms
\definecolor{cAxI}      {rgb}{0.20,0.40,0.00}   % new axioms expressible

\newcommand{\approach}[1]{\textcolor{cApp}{\bf #1}}
\newcommand{\primitives}[1]{\textcolor{cPrm}{\sf #1}}
\newcommand{\axioms}[1]{\textcolor{cAxm}{\sl #1}}
\newcommand{\axmOut}[1]{\textcolor{cAxO}{\rm #1}}
\newcommand{\axmIn}[1]{\textcolor{cAxI}{\rm #1}}

\newlength{\appWd}
\setlength{\appWd}{82mm}

% switch off hyphenation
\hyphenation{Infinity}
\hyphenation{existence}
\hyphenation{Regularity}
\hyphenation{Replacement}
\hyphenation{Extensionality}
\hyphenation{Neumann}

\begin{document}
\begin{tabular}{@{}r@{}c@{}c@{}}

        \begin{tabular}[b]{|p{55mm}|}
        \hline
        \approach{Fraenkel 1922,}       \\
        \approach{Skolem 1922}  \\  
        \\
        Stated: \axioms{Replacement}    \\  
        \hline
        \end{tabular}
        &&
        \begin{tabular}[b]{|p{\appWd}|}
        \hline
        \approach{Zermelo 1908 (Zermelo set theory)}    \\  
        \primitives{Sets}       \\
        \axioms{%
                Extensionality (sets),
                Elementary sets,
                Union,
                Power set,
                Infinity,
                Separation,
                Choice%
        }       \\
        \hline
        \end{tabular}
        \\

& $\searrow$ & $\downarrow$     \\  

        \begin{tabular}[t]{r}
        \axmOut{Elementary sets}        \\
        \axmOut{Separation, Choice}     \\  
        [1ex]
        \axmIn{Pairing (ordered)}       \\
        \axmIn{Function existence axioms}       \\
        \axmIn{Limitation of size}      \\
        (implies Replacement, Choice)   \\
        \end{tabular}
        &
        \begin{tabular}[t]{c}
        \axmOut{$\leftarrow$}   \\
        \\
        [1ex]
        \axmIn{$\rightarrow$}   \\
        \end{tabular}
        &
        \begin{tabular}[t]{|p{\appWd}|}
        \hline
        \approach{Von Neumann 1925, 1928}       \\
        \primitives{Functions, Arguments}       \\
        \axioms{%
                %Replacement,
                Extensionality (functions),
                Pairing (ordered),
                Function existence axioms,
                Union,
                Power set,
                Infinity,
                Limitation of size
        }       \\
        Stated but not adopted: \axioms{Regularity}     \\
        \hline
        \end{tabular}
        \\
        \\[-2ex]

&& $\downarrow$ \\

        \begin{tabular}[t]{r}
        \axmOut{Limitation of size}     \\
        [1ex]
        \axmIn{Replacement}     \\
        \axmIn{Von Neumann choice}      \\
        \end{tabular}
        &
        \begin{tabular}[t]{c}
        \axmOut{$\leftarrow$}   \\
        [1ex]
        \axmIn{$\rightarrow$}   \\
        \end{tabular}
        &
        \begin{tabular}[t]{|p{\appWd}|}
        \hline
        \approach{Von Neumann 1929}     \\
        \primitives{Functions, Arguments}       \\
        \axioms{%
                Extensionality (functions),
                Pairing (ordered),
                Function existence axioms,
                Union,
                Power set,
                Infinity,
                Replacement,
                Von Neumann choice}     \\
        Proved relatively consistent: \axioms{Regularity}       \\
        \hline
        \end{tabular}
        \\
        \\[-2ex]

&& $\downarrow$ \\

        \begin{tabular}[t]{r}
        \axmOut{Pairing (ordered)}      \\
        \axmOut{Function existence axioms}      \\
        [1ex]
        \axmIn{Pairing (unordered)}     \\
        \axmIn{Class existence axioms}  \\
        \axmIn{Separation, Regularity}  \\
        \end{tabular}
        &
        \begin{tabular}[t]{c}
        \axmOut{$\leftarrow$}   \\
        \\
        %\\
        [1ex]
        \axmIn{$\rightarrow$}   \\
        \end{tabular}
        &
        \begin{tabular}[t]{|p{\appWd}|}
        \hline
        \approach{Bernays 1931 [letter to Gödel],}      \\
        \approach{\hspace*{4.1mm} 1937, 1941 [axioms published]}        \\
        \primitives{Classes, Sets (two sorts)}  \\
        \axioms{%
                Extensionality (classes),
                Pairing (unordered),
                Class existence axioms,
                Union,
                Power set,
                Infinity,
                Separation,
                Replacement,
                Von Neumann choice,
                Regularity}     \\
        \hline
        \end{tabular}
        \\
        \\[-2ex]

&& $\downarrow$ \\

        \begin{tabular}[t]{r}
        \axmOut{Separation}     \\
        \axmOut{Von Neumann choice}     \\
        [1ex]
        \axmIn{Global choice}   \\
        [0.6ex]
        \multicolumn{1}{@{}l}{
                \scriptsize
                \begin{tabular}[t]{|l|@{}}
                \multicolumn{1}{l}{\it Legend:} \\
                [1ex]
                \hline
                \approach{Approach}     \\
                \primitives{Primitives} \\
                \axioms{Axioms} \\
                \hline
                \end{tabular}
                \hspace*{36mm}
        }
        \end{tabular}
        &
        \begin{tabular}[t]{c}
        \axmOut{$\leftarrow$}   \\
        \\
        [1ex]
        \axmIn{$\rightarrow$}   \\
        \end{tabular}
        &
        \begin{tabular}[t]{|p{\appWd}|}
        \hline
        \approach{Gödel 1940 (NBG)}     \\
        \primitives{Classes, Sets (one sort)}   \\
        \axioms{%
                Extensionality (classes),
                Pairing (unordered),
                Class existence axioms,
                Union,
                Power set,
                Infinity,
                Replacement,
                Global choice,
                Regularity}     \\
        \hline
        \end{tabular}
        \\

\end{tabular}
\end{document}
Note: Except for Bernays 1931, all dates are publication dates.