Category:Foundations of classical theories (including reverse mathematics)