Here is a small model of a large cardinal, from the Albertina Gallery in Vienna. His existence shows that ZFC is consistent.
Here is a small model of a large cardinal, from the Albertina Gallery in Vienna. His existence shows that ZFC is consistent.
Nice! It’s hard to tell from the photo, but it looks like a Woodin cardinal.