أسس الرياضيات, عدم الاكتمال, منطق رياضي, نظرية المجموعات

نظرية أوميغا المتسقة (Ω-consistent theory)