Properties independent of ZFC

[Moniker1998]

Whenever you search in the search tab a property that is impossible in ZFC, it gives you a message for it. Could the same be done with properties independent of ZFC? Or, is anything of the sort planned in the future? I found one such property: T_6 + countably compact (or alternatively pseudocompact) + not compact. You can find this in the paper "On Countably Compact, Perfectly Normal Spaces" by Ostaszewski. https://doi.org/10.1112/jlms/s2-14.3.505