Look at the contents of the Mizar Home Page >> HTML-linked articles. Answer the following:

1. Approximately how many mathematical texts (articles) are in the collection?

2. Choose two articles from the collection from the following series:
   • TARSKI*
   • AXIOMS
   • REAL*
   • NAT*
   • FUNCT*
   • SUBSET*
   • XBOOLE*

   and report the number of definitions and theorems each contains.

Submit your answers to the instructor by e-mail.