女子婚后发现丈夫患艾滋病，婚姻无效的法律情形有哪些？

周倩（化名）与刘强（化名）的婚姻近日因法院的一纸判决被宣告无效。事情的起因是，刘强在婚前隐瞒了自己患有艾滋病的事实，直到婚后四个月，周倩通过观察刘强的生活习惯以及发现其病例和用药记录，才意识到丈夫的病情。随后，周倩向法院提起诉讼，要求离婚，法院最终认定该婚姻无效。

这起案件是丹阳法院近期审结的一起较为特殊的离婚案件。据婚姻登记处工作人员介绍，每年在丹阳因婚前了解不足而选择离婚的夫妻大约有300对。他们提醒年轻人，在步入婚姻之前应更加谨慎，充分了解对方，避免因冲动而草率结婚，导致后续问题频发。

周倩与刘强相识于外地，两人在创业过程中逐渐产生感情，并约定在丹阳登记结婚。然而，由于刘强拒绝进行婚前检查，周倩未能在婚前发现其患病情况。她原本以为刘强之前已经做过婚检，因此没有坚持要求婚前体检。直到婚后，她才从细节中察觉丈夫的病情。

婚姻登记处工作人员表示，近年来因婚前了解不足而离婚的案例并不少见。丹阳每年约有2000对夫妻离婚，其中约有15%是因婚前缺乏了解而导致的。他们还提到，近期曾处理过一对小夫妻的离婚手续，两人因婚前了解不够，婚后长期分床，感情逐渐破裂，最终选择离婚。

工作人员指出，当前部分年轻人对婚姻的重要性认识不足，对结婚和离婚的态度较为随意，这也是“闪婚闪离”现象增多的重要原因之一。他们呼吁大家在步入婚姻之前，多加了解，慎重对待。

关于婚姻无效的情形，《婚姻法》第十条明确规定了以下几种情况：（一）重婚的；（二）有禁止结婚的亲属关系的；（三）婚前患有医学上认为不应当结婚的疾病，婚后尚未治愈的；（四）未到法定婚龄的。其中，第三项情形涉及婚前患有严重疾病的情况，若在婚后仍未治愈，婚姻将被认定为无效。

根据《婚姻法》第七条的规定，为了防止疾病传播和遗传，保障人口素质与民族健康，患有医学上认为不应当结婚的疾病是被禁止结婚的。如果已经完成结婚登记，该婚姻即为无效婚姻。

目前，我国采用的是宣告无效制度，即婚姻无效需经法院裁决并正式宣告，才能产生自始无效的法律效力。这种方式有助于国家对违法婚姻的监管，并通过具体案例引导公众建立合法、健康的婚姻关系。

在周倩与刘强的案例中，刘强患有艾滋病，属于严重的传染性疾病，依法应被认定为“医学上认为不应当结婚的疾病”，因此他们的婚姻被法院宣告无效。