الرياضيات الأساسية, المنطق الرياضي, علوم الكمبيوتر, نظرية المجموعات, نظرية النموذجالتشفيرية (Cryptomorphism)