finite model

1. REDIRECT Finite model theory

{{Redirect category shell|

{{R from related word}}

}}