Category:MSC2000 03-XX Mathematical logic and foundations